| commit | 85a4178f827bd0020f25f07c56a83956a9070bd3 | [log] [download] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Fri Oct 24 12:47:26 2014 +0200 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Nov 05 16:00:49 2014 +0100 |
| tree | 925eb9cce6b9c043c082e92ff4b09e7e97531487 | |
| parent | ada303048534d90c23e711d9ec5cacf606400195 [diff] |
compat.sh: make options a bit more robust