compilers
|
Merge staging-next into staging
|
2019-12-29 10:20:05 +01:00 |
coq-modules
|
treewide: fix *Flags
|
2019-12-30 04:50:37 +01:00 |
guile-modules
|
treewide: fix *Flags
|
2019-12-30 04:50:37 +01:00 |
interpreters
|
perl: fuse configureFlags
|
2019-12-30 11:13:36 +01:00 |
libraries
|
boost: *Flags are lists
|
2019-12-30 11:13:39 +01:00 |
python-modules
|
Merge branch 'staging-next' into staging
|
2019-12-30 05:24:03 +01:00 |
tools
|
Merge branch 'staging-next' into staging
|
2019-12-30 05:24:03 +01:00 |
web
|
Merge master into staging-next
|
2019-12-29 10:19:39 +01:00 |