Akash Mozumdar c877d9cd31 use raii for process records and mutexes. remove a lot of manual resource management

2018-10-31 12:04:32 -04:00

..

texthook.cc

use raii for process records and mutexes. remove a lot of manual resource management

2018-10-31 12:04:32 -04:00

texthook.h

use raii for process records and mutexes. remove a lot of manual resource management

2018-10-31 12:04:32 -04:00