another attempt to clean up superfluous merges
[feisty_meow.git] / documentation / headers /
2016-12-12 Chris Koeritztasty renamings