diff debian/source/format @ 6609:c92d2c61dec8

ci: use our new CI image from v2.0 branch to build evolve docs
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 11 Nov 2023 16:21:23 -0300
parents 0021301f7fde
children
line wrap: on
line diff