diff options
| author | Moritz Lenz <moritz@faui2k3.org> | 2015-02-07 19:27:14 +0100 |
|---|---|---|
| committer | Moritz Lenz <moritz@faui2k3.org> | 2015-02-07 19:27:14 +0100 |
| commit | 320f22d022fdf6bb48fa6dfa584c813d766d38c4 (patch) | |
| tree | f45993dad977e73d244ced70f3b69a6e107a3ad9 /.gitmodules | |
| parent | b4d018213a08040212309f5466423dc827a2f846 (diff) | |
remove Makefile.old
it seems not to be in use, and I see no benefit in keeping dead code around.
git has all the old revisions anyway.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions