Merge branch 'development' into feature/see
This commit is contained in:
commit
51f2726c3d
23 changed files with 424 additions and 242 deletions
1
doc/user-manual/.gitignore
vendored
1
doc/user-manual/.gitignore
vendored
|
|
@ -6,6 +6,7 @@
|
|||
*.aux
|
||||
*.ps
|
||||
bibliography.bib.bak
|
||||
bibliography.bib.sav
|
||||
*.bbl
|
||||
*.blg
|
||||
*.out
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue