You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
Felix Oesterle 6c235fedf1 Add logo and favicon, adjust styling 4 years ago
..
_static Add logo and favicon, adjust styling 4 years ago
Makefile Add sphinx-quickstart files (documentation) 4 years ago
conf.py Add logo and favicon, adjust styling 4 years ago
develop.rst Add some files, git workflow information 4 years ago
index.rst Add logo and favicon, adjust styling 4 years ago
introduction.rst Add some files, git workflow information 4 years ago
make.bat Add sphinx-quickstart files (documentation) 4 years ago
moduleOverview.rst Add some files, git workflow information 4 years ago
moduleStdDFA.rst Add some files, git workflow information 4 years ago