diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-01-25T11·45+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-01-26T19·40+0100 |
| commit | c0f2f4eeeffd9c62ee2c59b42e6824d297d210f1 (patch) | |
| tree | 5adf744972511269b07a59c61279536801aa077a /.gitignore | |
| parent | a529c740d28859201a3a4b245b88ade96fb89fb0 (diff) | |
UserLock: Make more RAII-ish
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions