/editors/texmacs/files/

• ../
• patch-src_System_Link_pipe__link.cpp
• patch-src_Window_display.hpp
• patch-src_Window_event.hpp