chiark / gitweb /
shared: set - make argument to set_remove() const
authorTom Gundersen <teg@jklm.no>
Wed, 1 Apr 2015 11:46:59 +0000 (13:46 +0200)
committerTom Gundersen <teg@jklm.no>
Wed, 1 Apr 2015 12:45:22 +0000 (14:45 +0200)
commit4a9185c4388d866ddc7c2881e5a31ddd141493af
tree237ad95a0edb348bcc86dcb4ef902b66eba232e1
parent340a1d2330ddc1dd18ad75bcdddf32f63c84b4a1
shared: set - make argument to set_remove() const
src/shared/set.h