diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-26 17:40:11 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-26 17:40:11 +0200 |
| commit | 8fbc673998ed0946403b0c89397d68ab93a1c49c (patch) | |
| tree | 3dd4df011bb55a12263425c2feddd29ff569bdf4 /README-GIT | |
| parent | 0e9bf64dadc029bdf3e97ffb982d297eee0499e4 (diff) | |
Rename executable's .lib/.exp to avoid clashes with libraries
Failed that we cannot have an executable and a library with the same name and
in the same directory (their .lib's will clash).
Diffstat (limited to 'README-GIT')
0 files changed, 0 insertions, 0 deletions