applications
|
gitAndTools.git-hub: 1.0.3 -> 1.1.0
|
2019-12-23 15:13:04 +00:00 |
build-support
|
Merge master into staging-next
|
2019-12-19 09:19:50 +01:00 |
desktops
|
Merge pull request #76183 from romildo/upd.catfish
|
2019-12-23 09:12:21 -05:00 |
development
|
Merge pull request #74261 from marsam/update-dune
|
2019-12-23 09:19:21 -05:00 |
servers
|
unpfs: init at 0.0.2019-05-17
|
2019-12-23 08:23:15 +00:00 |
shells
|
oh-my-zsh: 2019-12-20 -> 2019-12-22
|
2019-12-22 20:11:22 -05:00 |
stdenv
|
allowInsecureDefaultPredicate: fix to use getName
|
2019-12-15 18:01:19 +00:00 |
top-level
|
Merge pull request #74261 from marsam/update-dune
|
2019-12-23 09:19:21 -05:00 |