Skip to content
Snippets Groups Projects
Commit b5bcd12f authored by rtoy's avatar rtoy
Browse files

When reverting a file, don't delete the file if there was no

original.  This is the solution from Carl, for a bug reported by
Madhu, cmucl-imp, 2006-02-19.
parent 4fe79050
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment