diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-09-28 20:32:34 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-09-28 20:32:34 +0200 |
| commit | 81148fb6dfbe1181fa5323d26016a58513e36cc6 (patch) | |
| tree | 4c5bbebefcb5e715ace587fce2a719137f3ca5dc /.gitignore | |
| parent | 0b8081fe220331d44b24bec247c04e239564d1f3 (diff) | |
typo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions