diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-23 14:19:47 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-23 14:19:47 +0200 |
commit | d815f1c77016a50a58260188283918c7aec958ae (patch) | |
tree | ef8991e100a94ca7abb5767fe99e343930841c21 /techlibs/Makefile.inc | |
parent | 3bb199615157212a34b0bc43b19b6379ea2f45b6 (diff) |
Fixed "make clean" for manual files
Diffstat (limited to 'techlibs/Makefile.inc')
0 files changed, 0 insertions, 0 deletions