compilers
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
idris-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
interpreters
|
maude: 3.0 -> 3.1
|
2021-01-19 11:00:45 -04:00 |
libraries
|
irrlicht: use spaces for indentation
|
2021-01-20 10:53:10 +10:00 |
ocaml-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
pure-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
python-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
tools
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
web
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |