aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-02-07 12:57:58 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-02-07 12:57:58 +0200
commit9f8391e292f6e4ffd72437fcfb86afb42af33654 (patch)
treed2268bc40f91bbdd2e54a04353db00efab05df0f /.gitignore
parentb0ccf83f965e5fa64fea984a1e5e56528bff5ddd (diff)
Fix race in machine check
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions