Gregor Jasny c2e3b61e95 Make builds of pull, push, and tests optional 8 anni fa
..
integration c2e3b61e95 Make builds of pull, push, and tests optional 8 anni fa
CMakeLists.txt fab3f3baad Move generic library into core and pull 8 anni fa