diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-23 11:37:37 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-23 11:37:37 +0100 |
| commit | 06b1992bcf8e46910064f2192209ed1acc17be39 (patch) | |
| tree | d2e30c226e1af3589fb3612e42dbe6a84bf69ed3 /Make.1.in | |
| parent | 28bea8441c178a1761d537e3ee5ee7b28c667dcc (diff) | |
| download | Make-06b1992bcf8e46910064f2192209ed1acc17be39.tar.xz | |
tools.pas: assume unknown commands have their input/output on the command line
Diffstat (limited to 'Make.1.in')
0 files changed, 0 insertions, 0 deletions