| <?php | |
| $buildBranches = array(); | |
| $buildBranches[]="wtp4x-R3.4.0-I"; | |
| $buildBranches[]="wtp-R3.4.0-I"; | |
| $buildBranches[]="wtp-R3.4.0-N"; | |
| $buildBranches[]="wtp-R3.3.2-M"; | |
| $buildBranches[]="wtp-R3.2.5-M"; | |
| $buildBranches[]="jsdt-R1.4.0-I"; | |
| $buildBranches[]="jsdt-R1.3.0-I"; | |
| $buildBranches[]="jsdt-R1.2.1-M"; | |
| ?> |