metadata(description="WebREPL server.", version="1.0.0")

module("webrepl.py", opt=3)
module("legacy_file_transfer.py", opt=3)
module("webrepl_setup.py", opt=3)