Ruud 8b2cd62211 Don't save stash on pull

2013-11-30 12:49:28 +01:00

..

static

Better frontend notification and GUI updating

2013-11-22 23:00:33 +01:00

__init__.py

Hide git command when not using git

2012-09-25 14:30:35 +02:00

main.py

Don't save stash on pull

2013-11-30 12:49:28 +01:00