diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-05-10 13:51:18 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-05-10 13:51:18 +0200 |
commit | 4a656428051a96a557bb876173b9461b83daa080 (patch) | |
tree | 0663b3c3593f7cf4b770a24bdc59f76d20d764fe /INSTALL | |
parent | cfb0f5bdbcbdedd676744b6d33fae29ba3216a72 (diff) |
typo
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions