aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-07-01 11:22:00 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-07-01 11:22:00 +0200
commitbc254a9a76db00e880ef526e55406f3291d92d52 (patch)
tree76490bb2d07d580e6e186cecae5131820afedb47 /.gitignore
parentefae38c7625998a3fad548b2c61880531bcf6ecc (diff)
Add additional diagnostics for disappearing header (GitHub issue #80)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions