Vladimír Čunát 70bff06140 Merge branch 'master' into staging		2019-01-02 17:19:23 +01:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
coq-modules
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
idris-modules
interpreters	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
java-modules
libraries	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
r-modules
ruby-modules
tools	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
web	Merge master into staging-next	2018-12-31 12:00:36 +01:00