diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-19 13:19:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-19 13:19:21 +0100 |
| commit | 1ae41e0210ebc8d529cc02dc32c831432526de14 (patch) | |
| tree | 3ce32eea0183c0a2bb180c9e2675295207d6ce29 /Make.lpi | |
| parent | 145f900d1a2c3ce03eb1b029c370d6c9f1588e64 (diff) | |
| download | Make-1ae41e0210ebc8d529cc02dc32c831432526de14.tar.xz | |
tools.pas: check for empty file name
Diffstat (limited to 'Make.lpi')
0 files changed, 0 insertions, 0 deletions