]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
po: remove renamed pages special handling, not needed anymore
authorintrigeri <intrigeri@boum.org>
Tue, 30 Dec 2008 22:00:46 +0000 (23:00 +0100)
committerintrigeri <intrigeri@boum.org>
Tue, 30 Dec 2008 22:00:46 +0000 (23:00 +0100)
Thanks to the new rename hook behaviour, the whole renaming work is now done
by the rename plugin, and we don't need to remember which pages were renamed.


No differences found