aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2023-04-15 13:28:20 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2023-04-15 13:35:20 +0200
commit82f36bbdb26d1ee48f21ff4761b79b5fd9f00742 (patch)
tree30d3b40e5c96c55e768eb82f392c69b7d8d92205 /.gitignore
parentbd63372d8606ba72cd71f0bb6db1f9635300cedb (diff)
Epimorfismos y bimorfismos
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions