This commit is contained in:
John Whitington 2019-07-17 14:22:03 +01:00
parent 3c84cb6a1c
commit d2270e2bc1
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@ let demo = false
let noncomp = false
let major_version = 2
let minor_version = 3
let version_date = "(devel, build of 4th June 2019)"
let version_date = "(devel, build of 17th July 2019)"
open Pdfutil
open Pdfio