Browse Source
I originally didn't think DISCARD would do anything here because of the clever MULTI interface, but somebody pointed out to me that DISCARD can be used to flush the WATCH set.gh-pages v0.5.11
Matt Ranney
14 years ago
3 changed files with 9 additions and 2 deletions
Loading…
Reference in new issue