]> git.sesse.net Git - remoteglot/commit
projects / remoteglot / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e951652) | patch
When a position comes in with the same position but new result, copy the result over...
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 12 May 2015 23:03:43 +0000 (01:03 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 12 May 2015 23:03:43 +0000 (01:03 +0200)
commit46280f671364dbc49270404d6c5b4c45d5ac59f7
tree16ae6e7be0de48c7b13dca1884d6931cb7105f6dtree | snapshot
parente9516524af69bdf7bf09c4b530abd04f82c7626ecommit | diff
When a position comes in with the same position but new result, copy the result over instead of throwing away the entire position.
remoteglot.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.