Remove unused types

They were used when state was a record...

malc committed 5 years ago

Commit 82eaee11 parent 6cbf7631 file · +0 −3Browse files

Unified · Split

config.ml+0−3

@@ -30,10 +30,8 @@ and gen = int · 29 unmodified lines
30	30	and top = float
31	31	and dtop = float
32	32	and fontpath = string
33		−and aalevel = int
34	33	and trimmargins = bool
35	34	and trimparams = (trimmargins * irect)
36		−and usedoccss = bool
37	35	and uri = string
38	36	and caption = string
39	37	and tilex = int
@@ -64,7 +62,6 @@ and linkdir = · 24 unmodified lines
64	62	and pagewithlinks =
65	63	\| Pwlnotfound
66	64	\| Pwl of int
67		−and scrollb = int
68	65	and anchor = pageno * top * dtop
69	66	and rect = float * float * float * float * float * float * float * float
70	67	and infochange = \| Memused \| Docinfo \| Pdim