From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 12 Jun 2013 09:24:37 +0000 (+0200)
Subject: This file doesn't belong to the dist archive.
X-Git-Tag: v3_9_90~276^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/59f5e8487e875f111990e61ab2b025f61fbf0d57

This file doesn't belong to the dist archive.
---

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 61a58e55da..4ded2ab979 100644
--- 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