Commits

Author Commit Message Labels Comments Date
guillermooo
remove duplicate line
guillermooo
bump version no.
guillermooo
show errors to the user
guillermooo
minor changes
guillermooo
ignore dir
guillermooo
merge
guillermooo
handle error when command server cannot be started
guillermooo
rename stuff, expand docs
guillermooo
admin stuff
guillermooo
remove manifest.in
guillermooo
rename manifest file
guillermooo
bump version no.
guillermooo
add command to the command palette to kill the current server
guillermooo
report error when active view does not belong to any repo
guillermooo
data is decoded by cmdserver client
guillermooo
windows: let users read output of console for commands running on a console
guillermooo
add default settings file; commands running in console request input before closing
guillermooo
run more commands in own console
guillermooo
push and pull run in their own console so you can enter ssh passphrase if needed
guillermooo
fix remove command
guillermooo
add option info to readme
guillermooo
remove unused code
guillermooo
revise readme
guillermooo
reorganize code; add setting for loading extensions
guillermooo
remove comment
guillermooo
merge with next
guillermooo
make sure commit... shows before other variants
Branches
next
guillermooo
improve docs
Branches
next
guillermooo
merge merge merge
Branches
next
guillermooo
Added tag pre-simple-client for changeset c331141f3fe2
  1. Prev
  2. Next