diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2015-07-20 10:33:07 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2015-08-10 17:27:59 +0200 |
| commit | 1d3eea5caf65aacd7f112d14030a0499f32b9c75 (patch) | |
| tree | 6ee66f35ffbc4121ed6c2232161e54222a4783be /COMPILING | |
| parent | c9443c01208377f0cba9706412ea3a98ad97b56d (diff) | |
eliminate dead file-provides code in cache generation
The code was never active in production, it just sits there collecting
dust and given that it is never tested probably doesn't even work
anymore the way it was supposed to be (whatever that was exactly in the
first place). So just remove it before I have to "fix" it again next
time.
Git-Dch: Ignore
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions