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 /src/dad | |
| 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 'src/dad')
0 files changed, 0 insertions, 0 deletions