remove deprecated option

This commit is contained in:
2024-07-15 12:19:00 +02:00
parent 6b9f2a0cf1
commit 7577659e42

View File

@@ -709,7 +709,6 @@ replacements.")
headsepline,
%<<documentclass>>,
captions=tableheading,
version=first,
bibliography=totoc,
listof=totoc,
dvipsnames,