Op 19 aug. 2016 22:05 schreef "Charles E Campbell" < [email protected]>: > My solution so far > involves manually saving the changed files, wiping out the repository > copy on > my local system, getting a fresh copy via git, and putting my changed files > back. Is there a better solution?
'git stash push' and 'git stash pop'? Christ van Willegen -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
