Rename folder

This commit is contained in:
2019-05-02 14:09:20 +02:00
parent 6d52460f5b
commit 4be6fa1163
45 changed files with 23 additions and 19 deletions

3
static-measurements/figs/.gitignore vendored Normal file
View File

@@ -0,0 +1,3 @@
*.svg
*.pdf
*.tex