|
0e7247b22a44
|
Add gundo_map_move_* to the site.
|
Steve Losh |
Wed, 09 Mar 2011 19:35:42 -0500 |
|
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 |