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 /docs/cheatsheet.txt | |
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 'docs/cheatsheet.txt')
0 files changed, 0 insertions, 0 deletions