Migrate from GitHub to SourceForge with this tool. Check out all of SourceForge's recent improvements.
Close

Tickets  Maximize  Restore

Showing 6 results of 6

# Summary Milestone Status Owner Created Updated
13 find a way to disable debug symbols 0.2 open 2012-12-13 2012-12-13  
11 compile.sh --help 0.2 open 2012-08-31 2012-08-31  
10 default config options 0.2 open 2011-09-22 2011-09-22  
8 Catch unknown configure options 0.2 open 2011-09-07 2011-09-07  
5 Option for default include path 0.2 open 2011-08-07 2011-09-02  
4 add ini directory 0.2 open 2011-08-07 2015-10-22  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)