diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-08 00:16:50 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-08 00:16:50 +0200 |
commit | 36f568903b1e91f7cf66efb81620652ca971c686 (patch) | |
tree | f61e7467a5c5c9083d72d5a128d07bb194921cb6 /modules/gridmap/config.py | |
parent | df61dc4b2bd54a5a40c515493c76f5a458e5b541 (diff) |
AUTHORS: Prevent bad Markdown formatting
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions