Skip to content

Arts: remove ARTS support

Adriaan de Groot requested to merge work/adridg/remove-arts into master

ARTS was deprecated in 2008 or so and support was commented out. Remove it for good now.

Merge request reports