diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-01-10 15:38:08 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-01-10 18:38:25 +0100 |
commit | b71c2cc9938eee649d6b4a787d4c4bebe849d6e9 (patch) | |
tree | 86cc8cc15f8ee3411bb1164aa8f859bef6ffd206 /LICENSE | |
parent | d501c9f496b3c8c5cfa870830108ce104174bf25 (diff) | |
download | ouroboros-b71c2cc9938eee649d6b4a787d4c4bebe849d6e9.tar.gz ouroboros-b71c2cc9938eee649d6b4a787d4c4bebe849d6e9.zip |
build: Add patchlevel to version
This adds a patchlevel to the Ouroboros version.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions