1. 2006-02-20 [Bug 115418] 'make' options should be optional kdevelop- kdevelop-bugs-admi 2. 2006-02-20 [Bug 115418] 'make' options should be optional kde-bugs- Matt Rogers 3. 2006-02-19 [Bug 115418] 'make' options should be optional kdevelop- kdevelop-bugs-admi 4. 2006-02-19 [Bug 115418] 'make' options should be optional kde-bugs- Matt Rogers 5. 2005-10-31 [Bug 115418] 'make' options should be optional kdevelop- kdevelop-bugs-admi 6. 2005-10-31 [Bug 115418] 'make' options should be optional kde-bugs- Amilcar do Carmo L