Subversion Repositories wimsdev

Last modification

• Rev 15581 2020-12-11 18:45:21
• Author: bpr

• Log message:

  [minor] adapt to be able to compile documents in the directory
  basis/doc