Revision 9ee6e632
ID | 9ee6e632e49bcf797ad15086e594e21dd84ddf44 |
Parent | 0cce2df9 |
Child | 511bdce8 |
debian packaging compiles only user-space stuff
Files
- added
- modified
- copied
- renamed
- deleted
ID | 9ee6e632e49bcf797ad15086e594e21dd84ddf44 |
Parent | 0cce2df9 |
Child | 511bdce8 |
Added by Filippos Giannakos about 11 years ago
debian packaging compiles only user-space stuff