Revision f333bd00
ID | f333bd009de0efe5b5fd6dcdabd0a199960201c3 |
Parent | f1052f48 |
Child | 96838c37 |
Don't hardcode the number of workers for gwt compilation. Use an ant property instead.
Files
- added
- modified
- copied
- renamed
- deleted
ID | f333bd009de0efe5b5fd6dcdabd0a199960201c3 |
Parent | f1052f48 |
Child | 96838c37 |
Added by Panagiotis Astithas about 14 years ago
Don't hardcode the number of workers for gwt compilation. Use an ant property instead.