Merge branch 'kelly4/kohadocs-patch-5'
[kohadocs.git] / mappings.pl
2017-08-14 Jonathan DruartAdd a script to ease the move - mappings.pl