]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/.ocamlinit
projects / helm.git / blob
? search:


6512190cd1fc65e35d89ccf9200e19099208e531
[helm.git] / helm / ocaml / getter / .ocamlinit
1 #use "topfind";;
2 #require "helm-getter";;
3 Helm_registry.load_from "sample.conf.xml";;
Unnamed repository; edit this file 'description' to name the repository.