Boris Buliga d81e75584e bump year in the copyright headers ... Folks, this time of year has come. We can bump year in the copyright headers. Let's celebrate!		2018-10-16 20:27:05 +03:00
..
copy-as-format	Reformat documentation	2018-10-11 00:13:43 +03:00
nlinum	bump year in the copyright headers	2018-10-16 20:27:05 +03:00
parinfer	bump year in the copyright headers	2018-10-16 20:27:05 +03:00