Vladimír Čunát b1acaffe67 Merge branch 'master' into staging		2016-01-05 10:28:58 +01:00
..
arduino
compilers	Merge branch 'master' into staging	2016-01-05 10:28:58 +01:00
coq-modules	coq-flocq: 2.5.0 -> 2.5.1	2016-01-04 23:37:40 +01:00
dotnet-modules/patches
eclipse
erlang-modules
go-modules
guile-modules
haskell-modules	saneBackends{,Git} -> sane-backends{,-git}	2016-01-03 03:31:38 +01:00
idris-modules
interpreters	Merge branch 'master' into staging	2016-01-05 10:28:58 +01:00
libraries	Merge branch 'master' into staging	2016-01-05 10:28:58 +01:00
lisp-modules	asdf: 3.1.5 -> 3.1.6	2016-01-01 12:30:17 +03:00
lua-modules
misc
mobile
ocaml-modules
perl-modules
pharo
pure-modules
python-modules
qtcreator
r-modules
ruby-modules
tools	Merge branch 'master' into staging	2016-01-05 10:28:58 +01:00
web