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

(
  (hophop_config "config.hop")
  (hophop "hop.hop")
)

