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 /doc/pre-box.css | |
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 'doc/pre-box.css')
0 files changed, 0 insertions, 0 deletions