diff options
author | William Joye <wjoye@cfa.harvard.edu> | 2016-11-02 19:11:06 (GMT) |
---|---|---|
committer | William Joye <wjoye@cfa.harvard.edu> | 2016-11-02 19:11:06 (GMT) |
commit | 33c55bd916dff8c4932b01c7db58f0103ac31c31 (patch) | |
tree | a4cdca3287dd2df5247ce8079c424ffa438b4c2e /ast/fetch | |
parent | 4121637f3d41d6dc23e6543a445b5a3aed9e6ddc (diff) | |
download | blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.zip blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.tar.gz blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.tar.bz2 |
update ast
Diffstat (limited to 'ast/fetch')
-rwxr-xr-x | ast/fetch | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ast/fetch b/ast/fetch deleted file mode 100755 index 1ca0578..0000000 --- a/ast/fetch +++ /dev/null @@ -1,5 +0,0 @@ - -here=${PWD} -cd ${AST_REF} -cp $@ ${here} -cd ${here} |