diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-04-05 20:19:02 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-04-05 20:19:02 -0700 |
| commit | f8a01ee3095513ddbea0fa53ed6768ae0dbe9913 (patch) | |
| tree | 3f35f3fe88713950f1d9edb2cf890135eb7820f2 /.gitattributes | |
| parent | 5722d5f0dc40f850c517e412e6bb44bdc73c3749 (diff) | |
| download | subsurface-f8a01ee3095513ddbea0fa53ed6768ae0dbe9913.tar.gz | |
cmake: on Linux install our special marble library
If we build our own library, make sure it gets installed as well.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions