summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-07-23 14:19:47 +0200
committerClifford Wolf <clifford@clifford.at>2013-07-23 14:19:47 +0200
commitd815f1c77016a50a58260188283918c7aec958ae (patch)
treeef8991e100a94ca7abb5767fe99e343930841c21 /frontends
parent3bb199615157212a34b0bc43b19b6379ea2f45b6 (diff)
Fixed "make clean" for manual files
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions