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 /.github/actions/github-release | |
parent | 68a649d547c844cb44ee619b7f45d1193dad2b02 (diff) |
Remove html from gitignore so highlight snapshots are not ignored
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions