Remove some unused functionality
commit68d91d68ffc5e6269e30d5837a10a338befa69b8
authormalc <av1474@comtv.ru>
Tue, 29 Jun 2010 19:12:58 +0000 (29 23:12 +0400)
committermalc <av1474@comtv.ru>
Tue, 29 Jun 2010 19:12:58 +0000 (29 23:12 +0400)
tree4317d55de9c5f86c9d399a82507a42d6d9ad996a
parent0fab2e0d1f4824d05bf5863a09fe977b8232caf2
Remove some unused functionality
main.ml