diff options
| author | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2019-02-17 13:33:12 +0100 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2019-02-17 13:33:12 +0100 |
| commit | 58f37377c851960cbf21fac1caf38ab1e66c7d6c (patch) | |
| tree | dc8385b3b3ca238e603be92ce623848cb502db96 /tools | |
| parent | 7bac366953005233fc3c8736e6f1cd5798e65e28 (diff) | |
Add "ge.*" to src/.gitignore
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions