« Previous | Next » 

Revision 8fed2fad

ID8fed2fadd731752e1ecdc98a1964e9f4aa989bcb

Added by Kostas Papadimitriou about 12 years ago

Updated debian files

to match the new package names

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences