diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-09 15:39:07 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-09 15:39:07 +0100 |
| commit | 2c55053cb2f874fb2699eb719f2b51f72fce045f (patch) | |
| tree | 3504ffd8038e037fc9e4791f2616cf87e8419829 /tools.pas | |
| parent | 0cb6da8778659926553487e8751f6685be5a79af (diff) | |
| download | Make-2c55053cb2f874fb2699eb719f2b51f72fce045f.tar.xz | |
dateibeziehungen.pas: alle explizit zu überwachenden sind "lokal"
Diffstat (limited to 'tools.pas')
0 files changed, 0 insertions, 0 deletions