Disable the remove button if the selected toolchain is one of the default toolchains
[bertos.git] / bertos / remote_merge
2008-11-07 battAdd local modification test.
2008-10-06 battAdd remote merge script.