Commit cd9d5d1d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

more files to ignore

parent 9b58df42
......@@ -8,3 +8,34 @@ wibble/libwibble.pc
divine/sha1
divine/sha1.cpp
nbproject
/.gitlab-ci.yml~
/CMakeCache.txt
/divine/blob_h_str.cpp
/divine/circular_h_str.cpp
/divine/divine-test
/divine/divine-test-generated-*
/gui/base_shared/
/gui/base_tools/
/divine/generator_custom_api_h_str.cpp
/divine/libdivine.a
/divine/pool_h_str.cpp
/gui/divine.ide
/gui/dve_divine2/
/gui/dve_editor/
/gui/help/
/gui/ltl_editor/
/gui/plugins/
/gui/qtcolorpicker/
/gui/libbase_shared.so
/hoard/libhoard.a
/lpsolve/liblpsolve.a
/tools/combine.m4.h
/tools/divine
/tools/divine.compile-pml
/tools/divine.probabilistic
/tools/divine.simple
/tools/divine.simulate
/wibble/libwibble.a
/wibble/wibble-test
/wibble/wibble-test-generated-*
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment