Revision 2cd939ec
ID | 2cd939ec6102229a5483a4218258bf489bfbd011 |
Parent | 1a6a7005 |
Child | 10619421 |
Use proper version in sphinx documentation
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2cd939ec6102229a5483a4218258bf489bfbd011 |
Parent | 1a6a7005 |
Child | 10619421 |
Added by Kostas Papadimitriou almost 12 years ago
Use proper version in sphinx documentation