Revision 81cd21da1bc6a665a2b8a3439a065aa00dd5c14b authored by Aryeh Gregor on 26 October 2016, 13:20:08 UTC, committed by Aryeh Gregor on 26 October 2016, 13:20:31 UTC
Missed in #3615.
1 parent 0acd8f6
serve.py
from tools.serve import serve
def main():
serve.main()
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...