diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:55:04 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:56:28 +0200 |
| commit | 4b61d5e13773bf8bf25537f28d1a42f7c6473b75 (patch) | |
| tree | ac753da3046611133911d1838b52ee3ab3141cde /debian/.gitattributes | |
| parent | 955cda2cfa32ca6e475b6726df4732f5dc98a30f (diff) | |
doc/*: Fix minor space damage.
Also, set tab size to 4 spaces in the HTML for consistency.
Diffstat (limited to 'debian/.gitattributes')
0 files changed, 0 insertions, 0 deletions