Diff

COPYING @ 4908:8c5b5ebaacb0

util.set: Change '/' operator from filter to map+filter (nil to drop from set, false is a valid item). No code found which depends on current behaviour.
author Matthew Wild <mwild1@gmail.com>
date Thu, 24 May 2012 18:51:18 +0100
parent 4304:73bf8aab8b77
child 12353:5ace23519e71
line wrap: on
line diff