Revision 8da9908f80be9b6f5e75e24fc271e48c0b136db6

Committed on 20/08/2013 8:21 am by pat11 <[email protected]> [GitHub Diff]

split "is_external" into "is_external" and "target"