comparison util/generate_changelog.py @ 619:200c7063affa

admin: Change the default admin server port to 8090, add `--port` option.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 06 Feb 2016 21:47:24 -0800
parents 442cf576ae25
children 7940861ff9bc
comparison
equal deleted inserted replaced
618:477dc9a63222 619:200c7063affa