projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 611ec46) | patch
modified: build.gradle: Put JPF version into JAR metadata by retrieving latest...
authorCyrille Artho <artho@kth.se>
Wed, 14 Nov 2018 23:30:23 +0000 (09:30 +1000)
committerCyrille Artho <artho@kth.se>
Wed, 14 Nov 2018 23:30:23 +0000 (09:30 +1000)
commit0faa7fe76a1366d020ba817fee2258458c69134a
treeaef470b11225a57ec42664ae51d502f57a8f3bc5tree | snapshot
parent611ec469a6a52b9ea73b3f69d44cdbe1c698df7ccommit | diff
modified:   build.gradle: Put JPF version into JAR metadata by retrieving latest tag (to use it as the version string).
build.gradle diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.