aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-08-28 16:22:34 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-08-28 16:30:31 +0200
commit6efd6dc40d46f1fa2028a4259c8b2b56f866d6f7 (patch)
treeb944fb9be6ccef52d66ce796dc4ae9da7d4f1185 /doc/.gitignore
parent28dcef63d86dc5a86919c45facddbf4e70d7b3bf (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