diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-28 16:22:34 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-28 16:30:31 +0200 |
| commit | 6efd6dc40d46f1fa2028a4259c8b2b56f866d6f7 (patch) | |
| tree | b944fb9be6ccef52d66ce796dc4ae9da7d4f1185 /doc/.gitignore | |
| parent | 28dcef63d86dc5a86919c45facddbf4e70d7b3bf (diff) | |
Make lib{build2} "implied interface dependency" of modules
This makes our compilation and linking command lines a little bit saner.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions