3 commits

Author	SHA1	Message	Date
elsid	5859fd464c	Add option to disable precompiled headers ... To be able to use ccache. Also fix compilation errors appeared due to absence of precompiled headers.	2024-03-08 02:11:51 +01:00
AnyOldName3	34fcfb63cf	Eliminate redundant version checks	2023-07-20 00:43:56 +01:00
elsid	30fd8c9d23	Add benchmarks for RefId serialization and deserialization	2023-03-25 14:04:44 +01:00