summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2020-10-19 19:25:47 +0200
committerJakob Unterwurzacher2020-10-19 19:25:47 +0200
commit165bf6c849c4f750157edce9bdc9702c4c7b684d (patch)
treed93432aa59ac21c896068a92ec8f9a0d1320c6f7 /Documentation/.gitignore
parent6697ffd6e213828ff4cd873cd1d104877096a230 (diff)
Drop generated files
These were committed by mistake.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions