Open armintoepfer opened 7 years ago
Use https://github.com/docopt/docopt.cpp as a submodule instead of copying into our source.
I've "accidentally" solved this issue as part of my docopt pull-request that was included into the commit toward version 1.3.1
Use https://github.com/docopt/docopt.cpp as a submodule instead of copying into our source.