diff options
author | Karl Berry <karl@freefriends.org> | 2021-06-20 17:23:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-06-20 17:23:15 +0000 |
commit | 79851be36e2c36f6e55608d2faefb3a90f8e2919 (patch) | |
tree | 7274db4a6af7288f29435e1b7e1f6d6ed5cf7d08 /Master/tlpkg/tlpsrc/HA-prosper.tlpsrc | |
parent | b292a9962c78c9ec7984fa6ce0bf3b8a5732f06c (diff) |
HA-prosper -> ha-prosper
git-svn-id: svn://tug.org/texlive/trunk@59651 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/HA-prosper.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/HA-prosper.tlpsrc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/HA-prosper.tlpsrc b/Master/tlpkg/tlpsrc/HA-prosper.tlpsrc deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/tlpkg/tlpsrc/HA-prosper.tlpsrc +++ /dev/null |