Add back .gitignore file and add current revision.txt

2023-08-16 21:47:30 +02:00 · 2023-08-16 21:47:30 +02:00 · 43759ec131
parent 91fa3c44b0
commit 43759ec131
2 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+.lastinstall
--- a/revision.txt
+++ b/revision.txt
@ -0,0 +1 @@
+832