Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert change erroneously introduced in commit 223f79c1a096e4157772f8bc3b4f5cdf5161b524
[simgrid.git] / tools / internal /
drwxr-xr-x   ..
-rw-r--r-- 351 README
-rwxr-xr-x 2539 check_dist_archive
-rw-r--r-- 836 check_dist_archive.exclude
-rw-r--r-- 17838 eclipse-formating.xml
-rwxr-xr-x 1057 indent
-rwxr-xr-x 2022 spell_comments.pl
-rw-r--r-- 768 spell_dict.txt
-rwxr-xr-x 3378 update_copyright_header