« Previous | Next » 

Revision 2dc98c34

ID2dc98c34ed6e9a7e59f2dd2e732d2f75b9219db5

Added by Kostas Papadimitriou almost 12 years ago

Fix debian rules file

fixed clean up of doctrees directory

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences