]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/getter/.ocamlinit
Timings
[helm.git] / helm / software / components / getter / .ocamlinit
1 #use "topfind";;
2 #require "helm-getter";;
3 Helm_registry.load_from "sample.conf.xml";;