diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 11:28:20 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 11:28:20 +0200 |
| commit | c75fbe854de2a0a881045fbd19a79eb8dcc898e2 (patch) | |
| tree | b145a1cdac89417de688a756a9cd83ffd57f1392 /manual/.gitignore | |
| parent | 99f195105adf709799074b727cb06cc8b0558f9f (diff) | |
Update manual
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index 14f1d99..e07bc0d 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -4,4 +4,5 @@ _minted-manual *.log *.out *.pre -svg-inkscape
\ No newline at end of file +svg-inkscape +version
\ No newline at end of file |