diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2014-06-08 20:40:01 +0200 |
|---|---|---|
| committer | mirror <mirror@phi-gamma.net> | 2014-06-08 20:40:50 +0200 |
| commit | 1794324d25a0116b70e8e97b7b163780ac1de764 (patch) | |
| tree | 4b6d8387a383380ca205efbbcd2e52e69652d755 /OMakefile | |
| parent | fcc47c1d3b0edcba60967336d13734e70370d748 (diff) | |
| download | context-mirror-bot-1794324d25a0116b70e8e97b7b163780ac1de764.tar.gz | |
adapt for ancient git
Diffstat (limited to 'OMakefile')
0 files changed, 0 insertions, 0 deletions