diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-10 12:52:44 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-10 12:52:44 +0000 |
| commit | f3d2ce1e668dfcf6b5088bf448b29f96d0ddaa76 (patch) | |
| tree | 77572e937d903279d249fcfa0da61ae153111ec8 /src/tools/operf/operf.c | |
| parent | 3858ddeafce6eeda42ff380abffdc074646069e7 (diff) | |
| parent | b19130ecab6d6731916834da30db02f5f1bc5838 (diff) | |
| download | ouroboros-f3d2ce1e668dfcf6b5088bf448b29f96d0ddaa76.tar.gz ouroboros-f3d2ce1e668dfcf6b5088bf448b29f96d0ddaa76.zip | |
Merged in sandervrijders/ouroboros/be-gitversiongen (pull request #546)
build: Simplify GitVersionGen
Diffstat (limited to 'src/tools/operf/operf.c')
0 files changed, 0 insertions, 0 deletions