chiark / gitweb /
remove DVI output from repo
authorMatthew Vernon <matthew@debian.org>
Sun, 20 Feb 2022 12:41:56 +0000 (12:41 +0000)
committerMatthew Vernon <matthew@debian.org>
Sun, 20 Feb 2022 12:41:56 +0000 (12:41 +0000)
flashcards.dvi [deleted file]

diff --git a/flashcards.dvi b/flashcards.dvi
deleted file mode 100644 (file)
index b39951d..0000000
Binary files a/flashcards.dvi and /dev/null differ