2018-03-06 | Leo Famulari | Merge branch 'master' into staging | blob | commitdiff | raw |
2018-03-05 | Tobias Geerinckx... | gnu: papi: Use HTTPS home page. | blob | commitdiff | raw |
2018-03-05 | Tobias Geerinckx... | gnu: papi: Fix documentation location. | blob | commitdiff | raw | diff to current |
2018-03-04 | Tobias Geerinckx... | gnu: papi: Update phase style. | blob | commitdiff | raw | diff to current |
2017-10-10 | Marius Bakke | Merge branch 'master' into core-updates | blob | commitdiff | raw | diff to current |
2017-10-04 | Marius Bakke | Merge branch 'master' into staging | blob | commitdiff | raw | diff to current |
2017-10-03 | Dave Love | gnu: Add scorep-openmpi. | blob | commitdiff | raw | diff to current |
2017-10-03 | Dave Love | gnu: Add cube. | blob | commitdiff | raw | diff to current |
2017-10-03 | Dave Love | gnu: Add opari2. | blob | commitdiff | raw | diff to current |
2017-10-03 | Dave Love | gnu: Add otf2. | blob | commitdiff | raw | diff to current |
2017-10-03 | Dave Love | gnu: Add papi. | blob | commitdiff | raw | diff to current |