Start new environment detection for DRDs
commit5b9a42a9cc8221b93f19f97886b1faad742061e6
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 11 Dec 2009 17:32:21 +0000 (11 17:32 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 11 Dec 2009 17:32:21 +0000 (11 17:32 +0000)
tree6051d9a61b098edcd4db5633314580d5227707de
parenta7278569a685767445f917c47c7a570a09460e1d
Start new environment detection for DRDs

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