« Previous | Next » 

Revision c319628a

IDc319628a59f7a96751b30f3615cb784fecce3a9b

Added by Kostas Papadimitriou over 12 years ago

Fixed debian packages names in documentation

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences