Beginnings of SplitMax

This commit is contained in:
John Whitington
2023-10-26 13:46:51 +01:00
parent ce952ca070
commit 6b640a128d
2 changed files with 48 additions and 3 deletions

View File

@@ -1,5 +1,14 @@
2.7 (to come)
New features:
o Split files to max size with -split-max
Extended features:
Fixes:
o Added opam file in-source
o Fixed -set-annotations with page links