Merge updates from master

This commit is contained in:
Repository mirror & CI
2020-05-07 11:36:54 +00:00
20 changed files with 295 additions and 4 deletions

2
profiles/categories Normal file
View File

@@ -0,0 +1,2 @@
dev-octave
dev-R

1
profiles/use.desc Normal file
View File

@@ -0,0 +1 @@
byte-compile - enable byte compiling