Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sometimes (ubuntu 15.10 for us) sighup was blocked and made the following line useless.
[simgrid.git] / include / surf /
drwxr-xr-x   ..
-rw-r--r-- 41581 simgrid_dtd.h
-rw-r--r-- 1323 surf_routing.h
-rw-r--r-- 3441 surfxml_parse.h