Announce modifications to all parent trees
commit5272753e4b75483b9f19a622f450c8c8f1986de6
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 2 Jan 2009 10:31:36 +0000 (2 10:31 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 2 Jan 2009 10:31:36 +0000 (2 10:31 +0000)
tree098c42cbbf4fb6c50b17fe903519b1df5c35e7bb
parent414963272053e1a2f11ef6ff4a145e28c83d5d42
Announce modifications to all parent trees

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2508 64cb5145-927a-446d-8aed-2fb7b4773692
src/misc/admin/admin.makefile
src/src/Data/Observers/ip_observer.cpp
src/src/Data/Observers/list_observer.cpp
src/src/Guile/Glue/glue.cpp
src/src/Kernel/Abstractions/observer.cpp
src/src/Kernel/Abstractions/observer.hpp