dordsor21 1766c62278

Attempt to recover from incorrectly-extensioned schematic reads (#660) ...

* Attempt to recover from incorrectly-extensioned schematic reads
 - Should help avoid #605 (I'm assuming this is the issue)
 - Possible issues with the InputStream being closed/pre-read or so? Thoughts:?

* more verbose checking in the first place

2020-09-25 15:15:00 +01:00

..

doctools

Officially propagate GPL downwards to all files

2020-09-01 16:30:43 -04:00

src

Attempt to recover from incorrectly-extensioned schematic reads (#660)

2020-09-25 15:15:00 +01:00

build.gradle.kts

Remove Kotlin (#625)

2020-09-17 16:31:55 -04:00