diff options
| author | Jakob Unterwurzacher | 2016-10-19 01:12:45 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-19 01:12:45 +0200 |
| commit | 600ceece359d835934ad039bdd0e83cd647c410f (patch) | |
| tree | 6f292d9ff0bf7dc390c9a0920619083d8f23370e /Documentation/.gitignore | |
| parent | 891a3b4c8a02edc6b7c2163bce8827a70deab285 (diff) | |
lint fixes
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions