Merlijn Wajer 71f5e2f282 Remove doc/release

2018-01-26 23:31:32 +01:00

..

.gitignore

Update filenames.

2017-04-26 23:08:50 +02:00

Makefile.am

Update filenames.

2017-04-26 23:08:50 +02:00