Project

General

Profile

« Previous | Next » 

Revision 2c877d0b

ID2c877d0ba59e320f5d6f52706ec1d6513fcab6c7
Parent 9ac7ad2d
Child 9cea3319

Added by Thorsten WiƟmann about 4 years ago

Add . to the include search path

Look for headers in . as well, just to make sure it works for those
having minisat-includes saved in the project directory.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences