Christoph M. Wintersteiger 8a0f5bb3c1 Make check-names.sh find the right names in 3rdparty ... Essentially adds the Everest .h and .c files to the various variables. This should be generalized at some point, but there is no infrastructure for this yet.		2019-08-19 13:36:44 +01:00
..
everest	Make check-names.sh find the right names in 3rdparty	2019-08-19 13:36:44 +01:00
CMakeLists.txt	Add new 3rdparty build scripts	2019-08-19 13:36:44 +01:00
Makefile.inc	Add new 3rdparty build scripts	2019-08-19 13:36:44 +01:00