| commit | 3da751ea55339c93bd4c093adbfbe71d0a1a1bc2 | [log] [download] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Mon Dec 15 10:41:53 2014 +0100 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Mon Dec 15 10:47:31 2014 +0100 |
| tree | 8d295acbd00896de185b20b874136ad48dbe3b8d | |
| parent | f46f128f4a6021fa11395bb8109ab965607915e3 [diff] |
Allow flexible location of valgrind