;; automatically generated, don't edit
;; /tmp/hop-3.1.0-pre2/weblets/wiki
;; Tue Jul 11 19:19:17 2017

(
  (wiki_config "config.hop")
  (wiki "wiki.hop")
  (wiki_client "wiki.scm")
)

