diff options
| author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2019-10-13 21:16:58 +0200 |
|---|---|---|
| committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2019-10-13 21:16:58 +0200 |
| commit | 54dacb084030cb723bd8bc7bbf0e6e7b549d4fa7 (patch) | |
| tree | 8eb48e041cc4c12b33f5b86490559b61e3413c07 /.gitmodules | |
| parent | bc88331cf2bfd1813b0ad3bc9ed21cd6916a3d03 (diff) | |
Removed thesis env stuff, some other changes
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions