diff R/rdc/configure @ 31:622914f1f3bf

- some cleanups
author Tassilo Philipp
date Fri, 10 Apr 2020 20:41:48 +0200
parents 0cfcc391201f
children
line wrap: on
line diff