]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/toglie_helm_xref.sh
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Initial revision
[helm.git] / helm / interface / toglie_helm_xref.sh
1 #!/bin/bash
2
3 echo "****" $1
4 cp $1 /tmp/pippo
5 cat /tmp/pippo | ./toglie_helm_xref.pl > $1
Unnamed repository; edit this file 'description' to name the repository.