aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2023-04-15 19:18:05 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2023-04-15 19:18:05 +0200
commit73541c5fb7a7cf25eadbea595bc89fe2b0b6a196 (patch)
tree1694fa82f7e803760c66826392f24789efca49c7 /.gitignore
parent82f36bbdb26d1ee48f21ff4761b79b5fd9f00742 (diff)
Tema 1 (salvo ejemplos de límites)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions