« Previous | Next » 

Revision 73841442

ID73841442d916490fa6a9b5967dbb1f797ca3dac1
Parent 11e0568f
Child f8fbda6f

Added by Ondrej Filip almost 12 years ago

Gendist script adapted to git.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences