Skip to content

Arts: remove ARTS support

Adriaan de Grootrequested 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