-
Antoine Martin authored
This should make go2pins distributable as a single static binary (or rather, 2 static binaries, including ltlrec). The `boilerplate/` directory no longer needs to exist on the user's machine.
9edfb77d
Analyzing file…
This should make go2pins distributable as a single static binary (or rather, 2 static binaries, including ltlrec). The `boilerplate/` directory no longer needs to exist on the user's machine.