diff options
| author | Jakob Unterwurzacher | 2020-10-19 19:25:47 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2020-10-19 19:25:47 +0200 |
| commit | 165bf6c849c4f750157edce9bdc9702c4c7b684d (patch) | |
| tree | d93432aa59ac21c896068a92ec8f9a0d1320c6f7 /Documentation/.gitignore | |
| parent | 6697ffd6e213828ff4cd873cd1d104877096a230 (diff) | |
Drop generated files
These were committed by mistake.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions