diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
| commit | a11c6fb7f9ee084fe87bdcba32529358d9fab64e (patch) | |
| tree | 80c309fc48978fe3293a01e49dd7a7bda958ee0f /plugins/sphinx.mk | |
| parent | 7799804277e6fd38d308ebd581d194c38cd3fbb4 (diff) | |
| download | erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.gz erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.bz2 erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.zip | |
Optimization: reduce the number of shell commands on noops
Diffstat (limited to 'plugins/sphinx.mk')
0 files changed, 0 insertions, 0 deletions