diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-15 19:23:20 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-15 21:29:33 +0100 |
| commit | 677e95d8d189a62e6473b43989012a8258f193a4 (patch) | |
| tree | a68e77b5d7bd8a319131e632da91f6b86acf7768 /modules/gridmap/config.py | |
| parent | e7701bb2de30c554f52dc9d3f0110b4001ae18ad (diff) | |
| download | redot-engine-677e95d8d189a62e6473b43989012a8258f193a4.tar.gz | |
doc: Make all module docs self-contained
Diffstat (limited to 'modules/gridmap/config.py')
| -rw-r--r-- | modules/gridmap/config.py | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/modules/gridmap/config.py b/modules/gridmap/config.py index b3dbb9f46a..a93f4edb81 100644 --- a/modules/gridmap/config.py +++ b/modules/gridmap/config.py @@ -1,14 +1,13 @@ - - def can_build(platform): return True - def configure(env): pass def get_doc_classes(): - return ["GridMap"] + return [ + "GridMap", + ] def get_doc_path(): - return "doc_classes" + return "doc_classes" |