Merge branch 'main' into 2022-02-03_group_meeting

This commit is contained in:
Eric-Teunis de Boone 2022-02-02 13:34:29 +01:00
commit ef8b801ffa
5 changed files with 14 additions and 1 deletions

2
figures/.gitignore vendored Normal file
View file

@ -0,0 +1,2 @@
# Do not ignore pdf in this directory
!*.pdf

7
figures/README.md Normal file
View file

@ -0,0 +1,7 @@
# Figures
Storage for common figures.
It's better to put figures here, than to separately copy them over
when you need it in multiple documents.
Also, categories seem to be useful.