dist: update distrib and export to switch to git repo
commit4383e4223aab80aa9ef05572e0446ac43e3f1338
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Nov 2007 15:55:13 +0000 (18 16:55 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Nov 2007 16:41:22 +0000 (18 17:41 +0100)
tree8f8be00bbd8b28fb2117403648053453c519b8f7
parent7b837c4c5afe91b693aa85527ce2c0a10a32d047
dist: update distrib and export to switch to git repo
dist/distrib [changed mode: 0644->0755]
dist/export [changed mode: 0644->0755]