|
|
37b4d04d11
|
Globbing
|
2020-06-08 17:39:36 +02:00 |
|
|
|
26b5c9343e
|
Allow processing of given IDs instead of mailbox
|
2020-05-25 23:50:42 +02:00 |
|
|
|
0a1370ec92
|
Update for PB071
|
2020-04-03 14:10:37 +02:00 |
|
|
|
0cbb641426
|
Fix point checking
|
2019-12-02 11:39:40 +01:00 |
|
|
|
6a7438c217
|
Differentiate between path and "ID"
|
2019-12-02 10:52:57 +01:00 |
|
|
|
a79b3f4319
|
Mail from mailbox
Closes #6
|
2019-12-01 13:23:03 +01:00 |
|
|
|
35ca777f67
|
Filter submissions
|
2019-12-01 13:23:03 +01:00 |
|
|
|
4cba81140d
|
Add deadline check
|
2019-12-01 13:22:25 +01:00 |
|
|
|
4e80820ede
|
Factor out matching
|
2019-12-01 13:22:25 +01:00 |
|
|
|
32650ae05a
|
Add basic parser for mbox mails
|
2019-12-01 13:22:25 +01:00 |
|
