diff options
| author | Paul Daniel Faria <[email protected]> | 2020-06-27 17:02:49 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-27 17:02:49 +0100 |
| commit | 9777d2cb2dcea7b5a3b289708fea21b4bf787f0f (patch) | |
| tree | ebe09304a24180b010b21a6aea3a727433403565 /docs | |
| parent | 68a649d547c844cb44ee619b7f45d1193dad2b02 (diff) | |
Remove html from gitignore so highlight snapshots are not ignored
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions