source: flex_extract.git/for_developers/Sphinx/source/.idea/misc.xml @ 41c9dbc

ctbtodev
Last change on this file since 41c9dbc was 41c9dbc, checked in by Anne Philipp <anne.philipp@…>, 5 years ago

Large update of Sphinx doc; moved Sphinx source to dev dir; Cleaned control files

  • Property mode set to 100644
File size: 185 bytes
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<project version="4">
3  <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.7" project-jdk-type="Python SDK" />
4</project>
Note: See TracBrowser for help on using the repository browser.
hosted by ZAMG