diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2020-05-31 16:23:52 +0200 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2020-05-31 16:23:52 +0200 |
| commit | 0014b59bf2fd36fb21d21850717996ad722fc235 (patch) | |
| tree | b863851fb226c35e03aaac96578b8029704b6a78 /.gitignore | |
| parent | d403a9f36b9205f30d24920673cacd40c83e3649 (diff) | |
SQL
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions