about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-12-17T17·23+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-12-17T17·23+0000
commitc931a7aec5ccb2209d3c4bcf4452c807fe894d94 (patch)
tree5c70568f4cdd0912fbac71770c2cf915965ee79b /.gitignore
parentb1eb25217217087cb70a730da5311bd0890cf6ad (diff)
* Do a short sleep after SQLITE_BUSY.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions