Skip to main content

Browse the archive

Revision d1463947fea0898b42b2cb1bfd8ee40b1619bc71 authored by Simon Pieters on 27 August 2018, 13:57:36 UTC, committed by Simon Pieters on 27 August 2018, 13:57:36 UTC 
Rename dir
1 parent 425e3ae
Raw File
wpt 
#!/usr/bin/env python

if __name__ == "__main__":
    from tools.wpt import wpt
    wpt.main()
back to top