diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-29 13:18:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-29 13:18:50 -0500 |
| commit | ca6926d0e0d1af6ea0531c6c558943beb08f646c (patch) | |
| tree | d4e547c6d56c7b5524632d7c6f4a22e35e8bcfc2 /src/http.sml | |
| parent | 44c3bfba2420a555eee8fefe7377d059c4666ef8 (diff) | |
Compile-time error for periodic tasks in nonpersistent protocols
Diffstat (limited to 'src/http.sml')
0 files changed, 0 insertions, 0 deletions