WELL DONE

# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
# On branch master
# Your branch is up-to-date with 'origin/master'.
#
# Changes to be committed:
#	deleted:    #compile.ml#
#	deleted:    c_files/#sen_basic_type.c#
#	deleted:    c_files/TicTacToeStruct.C.b
#	deleted:    c_files/TicTacToeStruct.C.c.b
#	deleted:    c_files/headers/#sen_bool.h#
#	deleted:    c_files/headers/#sen_int.h#
#	deleted:    c_files/headers/TicTacToe.h.b
#	deleted:    c_files/out
#	deleted:    c_files/sen_board_square_tictac.c.b
#	deleted:    c_files/sen_tictac.c.b
#	deleted:    c_files/tictactoe.c.b
#	deleted:    examples/#tictactoe.snt#
#	deleted:    examples/.#tictactoe.snt
#
