diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-23 18:16:30 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-23 18:16:30 -0500 |
| commit | 997ba73ed8bc1b1d1e181570f6211ea6d0f68335 (patch) | |
| tree | e667f8ad9df5e0e7f41b0bbc2f2d4f074eb0ccc2 /lib/ur/basis.urs | |
| parent | fa0d31c65e80bc15ca5bfbb6e22f1f68674f3dab (diff) | |
Proper error handling for periodic tasks
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions