Subversion Repositories wimsdev

Last modification

• Rev 11640 – 2951 d 22 h
• Author: bpr

• Log message:

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