Vladimír Čunát e9520e81b3 Merge branch 'master' into staging		2016-02-17 10:06:31 +01:00
..
arduino
compilers	Merge branch 'master' into staging	2016-02-17 10:06:31 +01:00
coq-modules
dotnet-modules/patches
eclipse
erlang-modules
go-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge branch 'master' into staging	2016-02-17 10:06:31 +01:00
libraries	Merge branch 'master' into staging	2016-02-17 10:06:31 +01:00
lisp-modules
lua-modules
misc
mobile
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Merge branch 'master' into staging	2016-02-17 10:06:31 +01:00
qtcreator
r-modules
ruby-modules
tools	Merge branch 'master' into staging	2016-02-17 10:06:31 +01:00
web