diff options
author | 2019-07-10 09:19:17 +0200 | |
---|---|---|
committer | 2019-07-10 09:19:17 +0200 | |
commit | f7ba53891494300ccc3b2f2c2469acb149e0efc8 (patch) | |
tree | ce320da9f1d3fe0c1b84e057253221c97f64a830 /pms.cls | |
parent | pkg-mgr-commands: Correct ver_cut and ver_rs to use ${PV} by default (diff) | |
download | pms-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>
Diffstat (limited to 'pms.cls')
-rw-r--r-- | pms.cls | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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 } |