Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

laragit [2015/01/20 14:22]
wikiadmin [Setting Permissions]
laragit [2015/01/20 16:26] (current)
wikiadmin [Setting Permissions]
Line 104: Line 104:
     # also need to execute it.     # also need to execute it.
     #     #
-    # The creator of this repository is YOUR_SCIPER_HERE.+    # The creator of this repository is YOUR_USERNAME.
     ​     ​
     thisrepo="​whatever/​you-just-cloned"​     thisrepo="​whatever/​you-just-cloned"​
 
laragit.txt · Last modified: 2015/01/20 16:26 by wikiadmin
 
© EPFL 2018 - Legal notice