set_old_prefix


Description:

public void set_old_prefix (string prefix)

Get the diff old-prefix string.

Parameters:

this

a DiffOptions.

prefix

the prefix.