source: Deliverables/D6.6/matita/README @ 3241

Last change on this file since 3241 was 3241, checked in by sacerdot, 7 years ago

Debian package for matita_0.99.2

File size: 63 bytes
Line 
1debcheckout matita
2poi si usage git-import-orig come al solito
Note: See TracBrowser for help on using the repository browser.