Revision 2dc98c34
ID | 2dc98c34ed6e9a7e59f2dd2e732d2f75b9219db5 |
Fix debian rules file
fixed clean up of doctrees directory
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2dc98c34ed6e9a7e59f2dd2e732d2f75b9219db5 |
Added by Kostas Papadimitriou about 12 years ago
Fix debian rules file
fixed clean up of doctrees directory