etc
|
COMP: update lemon to 2019-12-19 version
|
2020-01-13 13:56:23 +01:00 |
rules
|
COMP: support cgal header-only configurations
|
2020-05-19 07:13:12 +01:00 |
scripts
|
COMP: support cgal header-only configurations
|
2020-05-19 07:13:12 +01:00 |
wclean
|
COMP: additional wmake adjustments
|
2020-05-14 16:53:06 +02:00 |
wcleanLnIncludeAll
|
REL: Release preparations
|
2019-12-23 09:49:23 +00:00 |
wdep
|
GIT: Header file updates
|
2019-10-31 14:48:44 +00:00 |
wmake
|
COMP: additional wmake adjustments
|
2020-05-14 16:53:06 +02:00 |
wmakeCollect
|
REL: Release preparations
|
2019-12-23 09:49:23 +00:00 |
wmakeLnInclude
|
COMP: additional wmake adjustments
|
2020-05-14 16:53:06 +02:00 |
wmakeLnIncludeAll
|
COMP: additional wmake adjustments
|
2020-05-14 16:53:06 +02:00 |
wrmdep
|
Merge commit 'e9219558d7' into develop-v1906
|
2019-12-05 11:47:19 +00:00 |
wrmo
|
Merge commit 'e9219558d7' into develop-v1906
|
2019-12-05 11:47:19 +00:00 |