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 /doc/tips | |
parent | 4299f22ae8b20f3cbc23876c8fac0a0856a164c2 (diff) |
Yet another tweak to the formal definition. Much better this time.
Diffstat (limited to 'doc/tips')
0 files changed, 0 insertions, 0 deletions