diff options
| author | gumi <git@gumi.ca> | 2019-05-06 10:13:11 -0400 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2019-05-06 10:13:11 -0400 |
| commit | 2fbfb036eadc63db152b728814207729663485cb (patch) | |
| tree | ff23a87701b2731fe104a450210b31936875b635 /servergreps | |
| parent | fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45 (diff) | |
| download | evol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.gz evol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.bz2 evol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.xz evol-tools-2fbfb036eadc63db152b728814207729663485cb.zip | |
allow to choose makefile build mode on the test servers20190513
Diffstat (limited to 'servergreps')
0 files changed, 0 insertions, 0 deletions