aboutsummaryrefslogtreecommitdiffhomepage
path: root/install.sh
Commit message (Expand)AuthorAge
* Remove bashismsGravatar glondu2010-01-28
* Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchGravatar herbelin2009-04-08
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Remplacement de cp --parents par un script shGravatar notin2009-01-22