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

(
  (color "color.hop")
  (color_config "config.hop")
)

