diff docs/figures/figure-ug02.svg @ 5988:ef73f0d2232d

evolve: use obsolete.isenabled() instead of ui.configbool() directly
author Anton Shestakov <av6@dwimlabs.net>
date Wed, 28 Jul 2021 02:44:12 +0300
parents 561e97db1cf7
children
line wrap: on
line diff