diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-04 15:04:01 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-04 15:04:01 +0200 |
commit | 7376a9ecd3c24d5a2b1aa44fa4710197759e99d8 (patch) | |
tree | 9c83852a17a33c874b846f89262e5e1ab7200f94 /src/user | |
parent | 252473eb0bfd1aee56709512f42cc8dcd281a311 (diff) |
simplify check_is_in function
Diffstat (limited to 'src/user')
0 files changed, 0 insertions, 0 deletions