« Previous | Next » 

Revision 0fb30b27

ID0fb30b27322d12177cb782e7f0f7e6f467ea850c

Added by Kostas Papadimitriou about 12 years ago

Fixed version extraction from git describe

Refs #2022

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences