040000 tree ab347982c2142932b5a384818340b25938e2b75d	appveyor
040000 tree ea72a92741d50f3f7dbc154a087bb2f3fc620060	cmake
040000 tree 792496c0358800d3860a47a9fddabef113e8624c	docker
100755 blob 6c57b5497ba17f15423962d6d3103186d8faf1c0	fixchanges.sh
100755 blob 834bf7e03d35e2493f020e755d8ec490008a5c45	veralign.sh