mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 17:56:32 +00:00
Added Listing to Term.
So far only added to English.
This commit is contained in:
@@ -19,3 +19,4 @@ See: see
|
||||
SeeAlso: see also
|
||||
Table: Table
|
||||
To: To
|
||||
Listing: Listing
|
||||
|
||||
@@ -76,6 +76,7 @@ data Term =
|
||||
| To
|
||||
| Proof
|
||||
| Glossary
|
||||
| Listing
|
||||
deriving (Show, Eq, Ord, Generic, Enum, Read)
|
||||
|
||||
newtype Translations = Translations (M.Map Term String)
|
||||
|
||||
Reference in New Issue
Block a user