chore: installation_done does not need to be in repo

2026-06-28 00:24:23 +00:00 · 2017-08-28 23:14:32 +02:00
parent d39220d980
commit 5baf68465f
1 changed files with 1 additions and 0 deletions
@@ -23,3 +23,4 @@ install/installation_done
 /.buildpath
 /.project
 /installed_*/
+/installation_done