diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-05-29 15:44:57 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2018-05-29 15:44:57 -0300 |
| commit | 03b9ed1601acfe323dc9b5360b8f2c2c972c8e04 (patch) | |
| tree | 72e33eec337b386e6d536f128da03a9d4f2f12fe /RGens/dotest.sh | |
| parent | d22367abbb07f020dfb387032e9b72a040a170f5 (diff) | |
| parent | 0faa5175b6f0de8835ed514615ac64135f406b29 (diff) | |
Merge branch 'working'
Diffstat (limited to 'RGens/dotest.sh')
| -rwxr-xr-x | RGens/dotest.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/RGens/dotest.sh b/RGens/dotest.sh deleted file mode 100755 index a39a012..0000000 --- a/RGens/dotest.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -mvn clean compile exec:java > outp.txt 2> error.txt; - -tail -n +36 outp.txt | view -c "normal! zR" -; |