webmcp
diff Makefile.options @ 520:ec1cca939315
Improved documentation of WebMCP's initialization procedure
author | jbe |
---|---|
date | Mon Aug 21 19:52:27 2017 +0200 (2017-08-21) |
parents | dd6ef55cd59d |
children | d0104bb90ede |
line diff
author | jbe |
---|---|
date | Mon Aug 21 19:52:27 2017 +0200 (2017-08-21) |
parents | dd6ef55cd59d |
children | d0104bb90ede |