Gabriel Ebner c7f43de43c isabelle: 2017 -> 2018

2019-03-12 14:32:48 +01:00

..

applications

isabelle: 2017 -> 2018

2019-03-12 14:32:48 +01:00

build-support

bazel-remote: init at 2019-01-12

2019-03-11 11:10:59 +01:00

common-updater

common-updater-scripts: Add file and system flags

2019-03-02 23:03:04 +01:00

data

Merge pull request #57255 from romildo/upd.qogir-theme

2019-03-11 05:24:03 -05:00

desktops

Merge pull request #57037 from matthewbauer/remove-xdg-desktop-menu-dummy

2019-03-11 22:58:40 -04:00

development

Merge pull request #57500 from r-ryantm/auto-update/wabt

2019-03-12 12:13:40 +01:00

games

gcompris: 0.95 -> 0.96

2019-03-10 04:35:54 -07:00

misc

Merge pull request #57313 from delroth/gs-lcms2mt

2019-03-11 10:29:57 +00:00

os-specific

linux: 5.0 -> 5.0.1

2019-03-10 14:16:48 -04:00

servers

postfix: 3.4.0 -> 3.4.3 (#57368)

2019-03-11 23:36:33 +01:00

shells

mksh: 56c -> 57

2019-03-10 17:46:59 -07:00

stdenv

Merge pull request #51628 from ju1m/arm

2019-03-01 15:36:07 -05:00

test

cross/tests: add llvm-based tests

2019-02-26 19:46:24 -05:00

tools

Merge pull request #57444 from abathur/pdfgrep-platform-unix

2019-03-11 22:53:07 -04:00

top-level

isabelle: 2017 -> 2018

2019-03-12 14:32:48 +01:00