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 /.gitignore | |
| parent | cfb0f5bdbcbdedd676744b6d33fae29ba3216a72 (diff) | |
typo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions