Name change
commite25587173336dddcb474c6c93cfb3541e97ad8ce
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 26 May 2009 08:37:46 +0000 (26 08:37 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 26 May 2009 08:37:46 +0000 (26 08:37 +0000)
treef50f4523cf67a38e39a86c1680cc66e06390dd19
parent402472e7c27fc825d796bf2f2ceed2159b6f4813
Name change

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2707 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Data/History/archiver.cpp