« Previous | Next » 

Revision b6d9f832

IDb6d9f832b8337333a3e29d90ba99e658c469f564
Parent c3b077f0
Child d5b9ec50

Added by Csaba Kiraly almost 10 years ago

fix build directory name when git is in use

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences