diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-09 17:40:01 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-10 16:17:19 +0200 |
| commit | c85c4bed0a4b32ee2dcbd86ea819e39f3d8beb84 (patch) | |
| tree | be083f5da7110e52bb540bd05722a829798d1116 /doc/examples/configure-index | |
| parent | fa1b5d86bf5ba20047774014b422e7c30ee13a9c (diff) | |
Get rid of the old buildsystem
Bye, bye, old friend.
Diffstat (limited to 'doc/examples/configure-index')
0 files changed, 0 insertions, 0 deletions