diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-03-24 00:03:03 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-03-24 00:03:03 +0100 |
| commit | 373fe1c1389c1399217f37746459d0fb2cc0b53a (patch) | |
| tree | b4eef94e713d744b9ceaa1619c413b25ae3ffb39 /INSTALL | |
| parent | abc63eda98bd64a29413b6daf60c0d2ea47a7132 (diff) | |
avoid cast
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions