« Previous | Next » 

Revision 80ccd6de

ID80ccd6de2c0143f15ce14f5fdc26a4d1cf5c27fc

Added by Christos KK Loverdos about 12 years ago

make-dist accepts the archive name

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences