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/dds | |
| parent | e7701bb2de30c554f52dc9d3f0110b4001ae18ad (diff) | |
doc: Make all module docs self-contained
Diffstat (limited to 'modules/dds')
| -rw-r--r-- | modules/dds/config.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/modules/dds/config.py b/modules/dds/config.py index fb920482f5..5f133eba90 100644 --- a/modules/dds/config.py +++ b/modules/dds/config.py @@ -1,7 +1,5 @@ - def can_build(platform): return True - def configure(env): pass |