| commit | 80d627a5ae013efbac2b1f3943d8442443086c5b | [log] [download] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Mon Jun 29 20:12:51 2015 +0200 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Mon Jun 29 20:12:51 2015 +0200 |
| tree | 5c915a1944c537d04eb05929b06682a10e0bc4f9 | |
| parent | b74c245a20359595c00bb2647f969aaacd243a2f [diff] |
Remove now useless function