Subversion Repositories wimsdev

Last modification

• Rev 7239 2013-11-29 17:02:51
• Author: bpr

• Log message:

  [work in progress] add srctex to the list of "other directories"