diff doc/_ext/__init__.py @ 3730:43cc8c27adc7

docker: don't move `.egg_info` files anymore: moving `.egg_info` cause trouble, and doesn't seem necessary anymore.
author Goffi <goffi@goffi.org>
date Mon, 31 Jan 2022 18:35:52 +0100
parents 62e81b1058f8
children
line wrap: on
line diff