Revision 73841442
ID | 73841442d916490fa6a9b5967dbb1f797ca3dac1 |
Parent | 11e0568f |
Child | f8fbda6f |
Gendist script adapted to git.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 73841442d916490fa6a9b5967dbb1f797ca3dac1 |
Parent | 11e0568f |
Child | f8fbda6f |
Added by Ondrej Filip over 11 years ago
Gendist script adapted to git.