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 | 25f4d797b606f568497c194c080e8808aea973a5 (patch) | |
tree | e667f8ad9df5e0e7f41b0bbc2f2d4f074eb0ccc2 /tests/datatypeP.ur | |
parent | 2fc1b44bdddc7bdb99cd94849f7372fd427481f1 (diff) |
Proper error handling for periodic tasks
Diffstat (limited to 'tests/datatypeP.ur')
0 files changed, 0 insertions, 0 deletions