diff contrib/debugcmdserver.py @ 42015:dbca2e5563c3

perf: document config options We have configuration, so we better document it.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Mon, 25 Mar 2019 13:43:40 +0100
parents cd03fbd5ab57
children 2372284d9457
line wrap: on
line diff