always retrieve the HEAD for the plugin demo
authoruid38172 <uid38172>
Thu, 5 Jul 2001 00:31:20 +0000 (00:31 +0000)
committeruid38172 <uid38172>
Thu, 5 Jul 2001 00:31:20 +0000 (00:31 +0000)
commit5921a3749cb1d00c5115430131676336d468d8a0
treee3ea3ea54084fae23f6e1cbc361839cb1f56eb58
parent7599940cb12e55260f4df2f9050ba44f8dca250a
always retrieve the HEAD for the plugin demo
docs/plugin.html