cleaning: clean .gitignore, rm .gitlab-ci.yml

Inria-Prosecco · Oct 20, 2023 · 9f8ebb8 · 9f8ebb8
1 parent 6bc8915
commit 9f8ebb8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 13 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,9 +1,5 @@
 .depend
-old/*
-dist/
-hints/
 obj/
+dist/
+out/
 a.out
-
-*.swp
-*~
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
-Original file line number
+Diff line change
@@ -1,9 +1,5 @@
     .depend
-    old/*
-    dist/
-    hints/
     obj/
+    dist/
+    out/
     a.out
-    *.swp
-    *~