equal
deleted
inserted
replaced
22 import java.io.InputStream; |
22 import java.io.InputStream; |
23 import java.io.InputStreamReader; |
23 import java.io.InputStreamReader; |
24 |
24 |
25 /** |
25 /** |
26 * Pomocné funkce pro práci s příkazy |
26 * Pomocné funkce pro práci s příkazy |
27 * @author fiki |
27 * |
|
28 * Tyto funkce nejsou určené k přímému volání z XSLT. |
|
29 * |
|
30 * @author František Kučera (frantovo.cz) |
28 */ |
31 */ |
29 public class NástrojeCLI { |
32 public class NástrojeCLI { |
30 |
33 |
31 private static final String PŘÍKAZ_WHICH = "which"; |
34 private static final String PŘÍKAZ_WHICH = "which"; |
32 |
35 |