7269f85f8278
|
Update the publish script to add a pull first.
|
Steve Losh |
Wed, 09 Mar 2011 19:35:17 -0500 |
9cc5f6d3bcb8
|
Rearrange default settings and tweak some spacing.
|
Steve Losh |
Wed, 09 Mar 2011 19:29:21 -0500 |
7eecd2329bf0
|
add remapping options for graph navigation keys
|
Nathan Howell |
Sun, 27 Feb 2011 15:53:34 -0800 |
b059a86fd333
|
Defer warning about incompatible Python.
|
Daniel Hahler |
Wed, 09 Mar 2011 22:57:39 +0100 |
c839b22aa015
|
defer "can't load gundo" warning
|
Seth Milliken |
Wed, 29 Dec 2010 15:16:33 -0800 |