This file doesn't belong to the dist archive.

[simgrid.git] / tools / check_dist_archive.exclude

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 61a58e5..4ded2ab 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -8,6 +8,7 @@
 - Makefile
 - doc/html/.*
 
++ \.cproject
 + \.gitignore
 + README\.(coding|git)
 + mk_win-dist.sh