install script
This commit is contained in:
parent
b99e35e27f
commit
28cba5dbdf
|
@ -3,7 +3,7 @@ let demo = false
|
||||||
let noncomp = false
|
let noncomp = false
|
||||||
let major_version = 2
|
let major_version = 2
|
||||||
let minor_version = 4
|
let minor_version = 4
|
||||||
let version_date = "(devel, 16th February 2020)"
|
let version_date = "(18th June 2021)"
|
||||||
|
|
||||||
open Pdfutil
|
open Pdfutil
|
||||||
open Pdfio
|
open Pdfio
|
||||||
|
|
Loading…
Reference in New Issue