rillig 057906f507 lang/mercury: move HTML documentation to share/doc/mercury/html		2018-02-18 05:30:55 +00:00
..
patches	lang/mercury: move HTML documentation to share/doc/mercury/html	2018-02-18 05:30:55 +00:00
DESCR
distinfo	lang/mercury: move HTML documentation to share/doc/mercury/html	2018-02-18 05:30:55 +00:00
Makefile	lang/mercury: move HTML documentation to share/doc/mercury/html	2018-02-18 05:30:55 +00:00
PLIST	lang/mercury: move HTML documentation to share/doc/mercury/html	2018-02-18 05:30:55 +00:00
PLIST.SunOS