diff options
author | Guillermo Ramos | 2014-05-30 15:50:52 +0200 |
---|---|---|
committer | Guillermo Ramos | 2014-05-30 15:50:52 +0200 |
commit | 997021b6c71dcc79a73ff3b6f1e85715dfb80ff7 (patch) | |
tree | 249ebcc0f2b1393d4395be4c32578e631d0de5e5 /.gitignore | |
parent | a60532f6df8ed23fd98e611f64a033bbb3a86a57 (diff) | |
download | tfg-997021b6c71dcc79a73ff3b6f1e85715dfb80ff7.tar.gz |
Arreglos en defs.tex
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions