Domen Kožar ba6f0e8f03 Merge pull request #110491 from neosimsim/agda-doc-fix-install-command ... agda: fix code snippet for installing Agda		2021-04-27 17:40:36 +02:00
..
agda.section.md
android.section.md	androidenv: Allow multiple ndkVersions to be specified	2021-04-24 15:56:08 -06:00
beam.section.md
bower.section.md
coq.section.md
crystal.section.md
dotnet.section.md
emscripten.section.md
gnome.section.md
go.section.md
haskell.section.md
idris.section.md
index.xml
ios.section.md
java.section.md
lua.section.md
maven.section.md
node.section.md
ocaml.section.md
perl.section.md
php.section.md
python.section.md
qt.section.md
r.section.md
ruby.section.md
rust.section.md
texlive.section.md
titanium.section.md
vim.section.md