diff options
| author | http://www.cse.unsw.edu.au/~willu/ <http://www.cse.unsw.edu.au/~willu/@web> | 2009-10-08 22:59:34 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2009-10-08 22:59:34 -0400 |
| commit | 6533bec35af422d2db3b5b7347e883035fea6e99 (patch) | |
| tree | 92cfe9adcf842e76880c051145ce06f75e5d0048 /pm_filter | |
| parent | 4299f22ae8b20f3cbc23876c8fac0a0856a164c2 (diff) | |
Yet another tweak to the formal definition. Much better this time.
Diffstat (limited to 'pm_filter')
0 files changed, 0 insertions, 0 deletions