Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove remaining mentions of RngStream.
[simgrid.git] / tools / internal /
drwxr-xr-x   ..
-rw-r--r-- 351 README
-rwxr-xr-x 2535 check_dist_archive
-rw-r--r-- 745 check_dist_archive.exclude
-rw-r--r-- 17837 eclipse-formating.xml
-rwxr-xr-x 1057 indent
-rwxr-xr-x 2038 spell_comments.pl
-rw-r--r-- 695 spell_dict.txt
-rwxr-xr-x 2181 travis-sonarqube.sh
-rwxr-xr-x 3369 update_copyright_header