Kill useless typedef tmgr_Trace.

[simgrid.git] / tools / internal / check_dist_archive.exclude

diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
index bc1ee3f22dd2630922d328bdcf5246676c2e3ab6..a87445191f28d0f2f9e12d810a449bc87305ae29 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -10,6 +10,7 @@
 - doc/html/.*
 
 + BuildSimGrid.sh
++ circle.yml
 + \.classpath
 + \.cproject
 + \.project