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 |
|