remove_file

Description:

public void remove_file (File file)

Remove a file from the project

Parameters:

file	The file to remove from the project