Commit History

Author SHA1 Message Date
  Gildas 39f8a2d6ff add "upload to a WebDAV server" option (fix #103) 3 years ago
  Gildas d36933a4ae remove option "remove HTML imports" (obsolete) 3 years ago
  Gildas 911dd7e699 remove useless "extension" folder 3 years ago