nixpkgs/pkgs
Daniël de Kok cbfdb79b0e drawio: 11.1.1 -> 11.1.4
Changelog:

https://github.com/jgraph/drawio-desktop/releases/tag/v11.1.4

The most important user-visible change is that the binary is renamed
from draw.io to drawio.
2019-08-16 08:31:31 +02:00
..
applications drawio: 11.1.1 -> 11.1.4 2019-08-16 08:31:31 +02:00
build-support Merge pull request #66543 from grahamc/dt 2019-08-15 09:47:32 -04:00
common-updater treewide: use dontUnpack 2019-07-01 04:23:51 -04:00
data unifont_upper: 12.1.02 -> 12.1.03 2019-08-12 14:15:01 +02:00
desktops gnome3.evolution-data-server: Fix gsettings-desktop-schemas path 2019-08-12 18:32:12 +02:00
development Merge pull request #66659 from xrelkd/update/cargo-make 2019-08-15 20:57:57 -05:00
games Merge pull request #62650 from marius851000/azimuth-1.0.3 2019-08-12 19:18:06 +02:00
misc Merge remote-tracking branch 'upstream/master' into vim-plugins 2019-08-15 11:28:44 +02:00
os-specific linux-hardened: enable page alloc randomization 2019-08-15 18:43:31 +02:00
servers Merge pull request #66649 from markuskowa/upd-slurm 2019-08-15 15:41:22 +02:00
shells zsh/pth/zsync: cross fixes (#65780) 2019-08-14 07:15:01 +01:00
stdenv Merge pull request #65484 from arcnmx/pr-stdenv-cmake-cross 2019-08-14 10:17:12 -04:00
test treewide: use dontUnpack 2019-07-01 04:23:51 -04:00
tools Merge pull request #66680 from peterhoeg/u/noti 2019-08-16 10:06:59 +08:00
top-level prow: init unstable at 2019-08-14 (#66662) 2019-08-15 20:48:12 -07:00