summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2019-07-10 09:19:17 +0200
committerUlrich Müller <ulm@gentoo.org>2019-07-10 09:19:17 +0200
commitf7ba53891494300ccc3b2f2c2469acb149e0efc8 (patch)
treece320da9f1d3fe0c1b84e057253221c97f64a830
parentpkg-mgr-commands: Correct ver_cut and ver_rs to use ${PV} by default (diff)
downloadpms-f7ba53891494300ccc3b2f2c2469acb149e0efc8.tar.gz
pms-f7ba53891494300ccc3b2f2c2469acb149e0efc8.tar.bz2
pms-f7ba53891494300ccc3b2f2c2469acb149e0efc8.zip
pms.cls: Drop unused verbatim.sty.
Only needed for \verbatiminput which is no longer used in the text. Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r--pms.cls1
1 files changed, 0 insertions, 1 deletions
diff --git a/pms.cls b/pms.cls
index 4015f98..d7047cf 100644
--- a/pms.cls
+++ b/pms.cls
@@ -42,7 +42,6 @@
paralist, % Additional list environments
parskip, % Space between paragraphs instead of indentation
underscore, % Allow simple _ instead of \_
- verbatim, % Extend the print-as-is functionality
chngcntr, % Redefinition of counters
tocbibind % Add bibliography to table of contents
}