diff docs/conf.py @ 629:f7eda6256ae8

ftjail: remove useless "cat" and replace by input redirection
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 24 Sep 2024 18:47:45 +0200
parents 7d08fd78775c
children 260a81d769a6
line wrap: on
line diff