diff options
Diffstat (limited to 'docs/core-spec/.gitignore')
| -rw-r--r-- | docs/core-spec/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/core-spec/.gitignore b/docs/core-spec/.gitignore index dac3bd2547..d5181cb718 100644 --- a/docs/core-spec/.gitignore +++ b/docs/core-spec/.gitignore @@ -4,3 +4,4 @@ CoreOtt.tex core-spec.tex *.fls +*.out |