7 commits

Author	SHA1	Message	Date
Yusuf Simonson	7de706b34b	Lint for multiple versions of dependencies	2018-04-30 06:20:39 +07:00
flip1995	2a52527a46	Fix lintlib script	2018-03-31 17:53:24 +02:00
Oliver Schneider	d6344c47e3	Categorize all the lints!	2018-03-28 15:24:26 +02:00
flip1995	339d2d5be0	Fix name of configuration parameters in documentation	2018-02-19 16:30:19 +01:00
Oliver Schneider	86d6cec138	Fix the config regex for the wiki generator	2017-08-01 10:33:16 +02:00
Oliver Schneider	db02acd5ed	allow linebreaks in parsed wiki script	2017-01-26 11:28:51 +01:00
Georg Brandl	9a221402e6	Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.	2016-08-07 08:09:26 +02:00