comparison configure @ 405:e221473a8217

comment cleanups and clarification
author Tassilo Philipp
date Wed, 07 Apr 2021 18:51:38 +0200
parents 09aaa2e774cd
children fe31a2e3ac90
comparison
equal deleted inserted replaced
404:524fdca405bf 405:e221473a8217