debian specific patch information for maude / 2.6-2

 src/Main/main.cc     |    5 +++++
 src/Mixfix/global.cc |    3 +++
 src/Mixfix/global.hh |    1 +
 3 files changed, 9 insertions(+)

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo