diff console.xml @ 433:a9011b1b073f

Actually run the command, duh.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 02 Apr 2018 09:01:54 -0700
parents 1c3e3740325f
children
line wrap: on
line diff