Renamed files for Windows

disco-lang · May 29, 2024 · 32b2a30 · 32b2a30
1 parent da0487e
commit 32b2a30
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/pubs/TFPIE23/disco-tfpie23-12-26-09:51.xopp b/pubs/TFPIE23/disco-tfpie23-12-26-09:51.xopp
diff --git a/pubs/TFPIE23/disco-tfpie23-12-26-09:51.pdf → pubs/TFPIE23/disco-tfpie23-12-26_09-51.pdf b/pubs/TFPIE23/disco-tfpie23-12-26-09:51.pdf → pubs/TFPIE23/disco-tfpie23-12-26_09-51.pdf