Magne Sjaastad 45be0e6d6d Use precompiled headers to speed up build ... * Add precompiled headers to Commands, and improve usage * Use precompiled headers on github action		2023-08-11 12:41:40 +02:00
..
disabled-workflows	gha : Run pytest and disable main workflow	2020-06-16 22:07:14 +02:00
workflows	Use precompiled headers to speed up build	2023-08-11 12:41:40 +02:00