diff GNUmakefile @ 2156:224ca9f697a5

Documented all configure options.
author Maxim Dounin <mdounin@mdounin.ru>
date Mon, 23 Apr 2018 21:41:07 +0300
parents 51ce1baf7b67
children e4e6a7a6b22f
line wrap: on
line diff