write_external_dependencies


Description:

public void write_external_dependencies (string filename)