Jörg Thalheim 351319e557

Merge pull request #48419 from r-ryantm/auto-update/ipopt ...

ipopt: 3.12.10 -> 3.12.11

2018-10-15 21:36:42 +01:00

..

applications

eclipses: add Eclipse IDE for Java Developers 4.9

2018-10-15 21:05:04 +02:00

build-support

…

common-updater

…

data

sil-fonts: added andika, charis, doulos

2018-10-13 20:30:24 -07:00

desktops

Merge pull request #48334 from romildo/upd.deepin-desktop-schemas

2018-10-15 11:07:22 +00:00

development

Merge pull request #48419 from r-ryantm/auto-update/ipopt

2018-10-15 21:36:42 +01:00

games

Merge pull request #48074 from Lassulus/dwarf-fortress

2018-10-13 15:24:27 +00:00

misc

dolphin-emu: fix metadata (GPLv2 -> GPLv2+, http -> https)

2018-10-15 03:28:17 +02:00

os-specific

Merge pull request #47601 from teto/mptcp_94

2018-10-15 11:23:44 +00:00

servers

sqlite-jdbc: 3.20.0 -> 3.25.2

2018-10-15 20:45:50 +02:00

shells

powershell: 6.0.4 -> 6.1.0 (#48130)

2018-10-10 22:52:38 +02:00

stdenv

Merge pull request #37600 from abbradar/impureusenative

2018-10-13 14:09:55 +00:00

test

…

tools

staruml: fix download URL

2018-10-15 10:22:54 +02:00

top-level

Merge pull request #47182 from bhipple/add/mkl

2018-10-15 15:17:57 -05:00