From: Mattia Rizzolo Date: Tue, 26 Aug 2014 16:50:52 +0000 (+0200) Subject: debian/patches/modify_cmake_for_debian: also install Misc/ErrorResultCollector.h... X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=e771dd93e062d21201ccce0a41d25eedcaf8fc57;hp=e771dd93e062d21201ccce0a41d25eedcaf8fc57;p=flightcrew.git debian/patches/modify_cmake_for_debian: also install Misc/ErrorResultCollector.h ResultId.h and ResultType.h ---