ocsigen / html_of_wiki

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove old source code files and dependencies.

leovalais opened this issue · comments

html_of_wiki v2.0 shipped without removing old files (for example src/html_of_wiki.ml), so:

  • remove old source files
  • remove opam dependencies that aren't useful anymore (if any)
commented

+1