update in helena

[helm.git] / helm / software / helena / src / basic_rg / Make

diff --git a/helm/software/helena/src/basic_rg/Make b/helm/software/helena/src/basic_rg/Make
deleted file mode 100644 (file)
index df1b318..0000000
--- a/helm/software/helena/src/basic_rg/Make
+++ /dev/null
@@ -1,3 +0,0 @@
-brg brgCrg brgOutput
-brgEnvironment brgSubstitution brgReduction brgValidity brgType brgUntrusted
-brgGrafite brgGallina brgLP