- Sep 26, 2016
-
-
Martin Nolte authored
-
- Sep 23, 2016
-
-
Andreas Dedner authored
-
Andreas Dedner authored
introduce an add_python_targets command taking a list of python scripts and generating a target for each - a base tag is added to make the targets unique even if the filename is identical, i.e., for adding __init__ is different directories. The script copies the script to the build dir
-
- Sep 22, 2016
-
-
Andreas Dedner authored
-
- Sep 12, 2016
-
-
Martin Nolte authored
-
- May 22, 2016
-
-
Martin Nolte authored
-