branch | v_0 |
changeset 81 | 847c83288d01 |
child 238 | 4a1864c3e867 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/java/sql-dk/bash-completion.sh Fri Dec 27 17:51:05 2013 +0100 @@ -0,0 +1,8 @@ +#!/bin/bash + +cat \ + src/info/globalcode/sql/dk/Constants.java \ + src/info/globalcode/sql/dk/formatting/* \ + src/info/globalcode/sql/dk/CLIParser.java \ + | ../../scripts/bash_completion.pl +