diff options
| author | Damiano Galassi <[email protected]> | 2019-02-15 09:07:29 +0100 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2019-02-15 09:07:29 +0100 |
| commit | caf55b1feeaf8e694e27194e80f07b3a39a7b9b8 (patch) | |
| tree | c2de381c70ef8a1350970fcc6ee9e3e0218dad7f /.gitignore | |
| parent | d62e16402dc19c569d2122eab16b121775cc302f (diff) | |
Fix a warning.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions