532f377 Fix for bug 1235942.

Authored and Committed by jjohnstn 8 years ago
    Fix for bug 1235942.
    
    - Add back patch3 which is needed to set up the config.ini file properly.
    - Also add some new dependencies to the config.ini file that were added
      as part of CDT 8.7.
    
        
file modified
+2 -2
file modified
+8 -1