Subversion Repositories wimsdev

Last modification

• Rev 17065 2022-09-12 13:15:52
• Author: bpr

• Log message:

  [deduc] internationalised. Modules using it are
  U1/analysis/intint, H4~analysis~dedineq0, H6~analysis~dedbound