diff mod_vjud/README.markdown @ 4816:e7d1d68f0279

mod_export_skeletons: Document archive name override option This was why I went with argparse to begin with, so of course it was forgotten when I got to writing docs
author Kim Alvefur <zash@zash.se>
date Fri, 10 Dec 2021 00:01:17 +0100
parents ea6b5321db50
children 0aee099f270d
line wrap: on
line diff