summaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorhttp://www.cse.unsw.edu.au/~willu/ <http://www.cse.unsw.edu.au/~willu/@web>2009-10-08 22:59:34 -0400
committerJoey Hess <joey@kitenet.net>2009-10-08 22:59:34 -0400
commit6533bec35af422d2db3b5b7347e883035fea6e99 (patch)
tree92cfe9adcf842e76880c051145ce06f75e5d0048 /plugins
parent4299f22ae8b20f3cbc23876c8fac0a0856a164c2 (diff)
Yet another tweak to the formal definition. Much better this time.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions