Branch: refs/heads/master Home: https://github.com/ianhinder/Kranc Commit: bf2aa693f31fa5621b82d77335daee0753fefb1e https://github.com/ianhinder/Kranc/commit/bf2aa693f31fa5621b82d77335daee0753... Author: Roland Haas rhaas@aei.mpg.de Date: 2018-08-21 (Tue, 21 Aug 2018)
Changed paths: M Bin/kranc
Log Message: ----------- Kranc: document profile option in usage
commits@lists.einsteintoolkit.org