6 Commits

Author	SHA1	Message	Date
Andrei Pavel	10542a550a	[#1077] exit 0 after --help in scripts	2021-07-23 10:45:36 +00:00
Andrei Pavel	764e8f9788	[#1602] remove tools/.generated-files.txt	2020-12-30 15:55:06 +02:00
Andrei Pavel	c3a44d65d3	[#1602] better comments	2020-12-30 15:55:05 +02:00
Andrei Pavel	e96c6a2a40	[#1602] remove duplicate includes	2020-12-30 15:55:05 +02:00
Andrei Pavel	f032148383	[#1602] centralize generated files	2020-12-30 15:55:05 +02:00
Andrei Pavel	14dd41bbd0	[#1602] add tools/check-duplicate-includes.sh	2020-12-30 15:55:05 +02:00