diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-04-28 12:34:59 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-04-28 12:34:59 +0100 |
| commit | 37d5aa1377747254ace4952b40da58a8472d6864 (patch) | |
| tree | 3073eaa1ce818d617aeb90f8a5fefd6cd4f99b15 /docs/esp8266/quickref.rst | |
| parent | a6aa35af09584bdf5d52275e0d9703ca4fec4231 (diff) | |
docs: Make the short port names in the port/version sidebar lowercase.
To make it neater and simpler.
Diffstat (limited to 'docs/esp8266/quickref.rst')
0 files changed, 0 insertions, 0 deletions