Michele Guerini Rocco f19e82d1ad Merge pull request #117499 from rnhmjoj/leveldb ... leveldb: fix static build and cleanup		2021-03-25 15:35:01 +01:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #117570 from FRidh/python2alias	2021-03-25 13:26:35 +01:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	cling: use python3	2021-03-25 12:00:51 +01:00
java-modules
libraries	Merge pull request #117499 from rnhmjoj/leveldb	2021-03-25 15:35:01 +01:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #117508 from rmcgibbo/PyICU	2021-03-25 12:14:47 +01:00
r-modules
ruby-modules
tools	Merge pull request #117570 from FRidh/python2alias	2021-03-25 13:26:35 +01:00
web