diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-07 19:33:08 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-07 19:33:08 -0500 |
| commit | 6ac2625a75fc73b5cb846cd3d60422976f8946fc (patch) | |
| tree | be6af71ba8d13052a89c3c0583461b85096ae230 /.gitignore | |
| parent | 185f368d63e6b083d1717c3625b7756e77782add (diff) | |
drop global critical sections in checked::Resource
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions