aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.html2ps
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-10-22 13:03:21 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-10-22 13:03:21 +0200
commitcee00343d0c537a31281b4de74fadd7589d434b0 (patch)
treee431925cb8d77194c9ae564dedc2739030b202b7 /doc/doc.html2ps
parentbf8fd996b6651edcbb2235bbc6fae307a3638611 (diff)
Rename global_mutex_shards to global_mutexes
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions