Revision 0f933d15
ID | 0f933d15fecb7deb8d645fcd2fba961695f5e06f |
Parent | 082c5adb |
Child | 3fc175f0 |
Add doc/locking.txt, documenting locking order
Reviewed-by: imsnah
Files
- added
- modified
- copied
- renamed
- deleted
ID | 0f933d15fecb7deb8d645fcd2fba961695f5e06f |
Parent | 082c5adb |
Child | 3fc175f0 |
Added by Guido Trotter almost 16 years ago
Add doc/locking.txt, documenting locking order
Reviewed-by: imsnah