aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJan200101 <sentrycraft123@gmail.com>2024-05-09 18:44:27 +0200
committerJan200101 <sentrycraft123@gmail.com>2024-05-09 18:44:27 +0200
commit092ae57be29ef4abadb60e2360d7f99926705c26 (patch)
treeab39e45525b328624c1d76ccf2577eb9c6b4fd3e /.gitignore
parentf6b5da2197f6c6afbbd3a2cbfaedaa0431b9d7a0 (diff)
downloadShelSP-092ae57be29ef4abadb60e2360d7f99926705c26.tar.gz
ShelSP-092ae57be29ef4abadb60e2360d7f99926705c26.zip
commit initial version of formal documentation
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e8bd51a..83a8056 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,4 +17,7 @@ fp-info-cache
*.lck
# Doxygen
-docs/doxygen/*/ \ No newline at end of file
+docs/doxygen/*/
+
+# formal
+**/uml/*.png