Subversion Repositories wimsdev

Last modification

• Rev 12535 2018-04-10 09:19:55
• Author: bpr

• Log message:

  [adm/doc] when one erases a file, erase also the file .hd and delete the occurence
  of this file in other *.hd.