Skip to content

boilerplate: include in the binary

Antoine Martin requested to merge am/embed into master

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.

Edited by Antoine Martin

Merge request reports