Joao Moreno 00035055a4 use same cli script in Windows ...

fixes #3055

2016-02-25 17:35:33 +01:00

..

code.cmd

use same cli script in Windows

2016-02-25 17:35:33 +01:00

code.sh

add code launcher for windows bash

2016-02-25 16:53:32 +01:00