aboutsummaryrefslogtreecommitdiff
path: root/README-GIT
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-10-25 10:56:22 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-10-25 10:56:22 +0200
commit8c637bf3530a92d8e22776e0dfda3df24f21e5d2 (patch)
tree61f35e3e9fbe39859cf1480c2a361edcf4a188e1 /README-GIT
parentbcd4d3e18c93d5f132f871e78185bf743509dae6 (diff)
Fix race in rule synthesis logic
Diffstat (limited to 'README-GIT')
0 files changed, 0 insertions, 0 deletions