Save/load/encode/decode for environment changes in DRDs
commit42fdf0d4f0ced19a098fb632cf91c475cf9ff68e
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 13 Dec 2009 14:42:16 +0000 (13 14:42 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 13 Dec 2009 14:42:16 +0000 (13 14:42 +0000)
tree9f045ec5dbf184fdaf8505ab4005613e8c1bdb77
parent60cfec349ad2483aa92482fd6fd30de669fb02f3
Save/load/encode/decode for environment changes in DRDs

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2880 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Data/Drd/drd_info.cpp
src/src/Data/Drd/tag_info.cpp
src/src/Data/Drd/tag_info.hpp