Subversion Repositories wimsdev

Last modification

• Rev 11640 2017-06-06 12:48:20
• Author: bpr

• Log message:

  [minor] small changes, just to help to the checkwims check for distribution.
  (into, !debug which should be forgotten)