It seems http://www.bitc-lang.org/ works fine, http://bitc-lang.org/ does not.
Could someone with access to the box change the routing? -- William Leslie _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
