applications
|
boolector: 2.4.1 -> 3.0.0, relicensed to MIT
|
2018-08-15 20:44:05 -05:00 |
data
|
twemoji-color-font: restrict platforms to linux
|
2018-08-15 15:36:49 +02:00 |
games
|
ivan: add myself as maintainer
|
2018-08-13 21:52:32 +03:00 |
misc
|
Merge branch 'master' into add-missing-licenses
|
2018-08-11 09:36:34 +02:00 |
os-specific
|
Merge pull request #45084 from jtojnar/fwupd-1.1.1
|
2018-08-16 01:26:28 +02:00 |
servers
|
postgresql: fix tzdata path
|
2018-08-14 19:07:32 +01:00 |
shells
|
powershell: 6.0.3 -> 6.0.4
|
2018-08-13 10:01:53 +07:00 |
tools
|
spectre-meltdown-checker: minor cleanup
|
2018-08-16 10:53:31 +08:00 |
top-level
|
btor2tools: init at pre55_8c150b39
|
2018-08-15 20:44:05 -05:00 |