diff --git a/profiles/categories b/profiles/categories new file mode 100644 index 0000000000..bffe29709e --- /dev/null +++ b/profiles/categories @@ -0,0 +1,2 @@ +dev-octave +dev-R