diff options
| author | Pierre-Marie Pédrot | 2020-03-26 14:42:22 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-28 19:03:56 +0100 |
| commit | 34a14a56ca69846f57d6dd64ecd31b9188e2bc8e (patch) | |
| tree | a0c7f4c77dc873f4c710d6c2b8b36a41eccee7d7 /dev/tools/pre-commit | |
| parent | 28081c1108a84050566d365bd665d05ee508ecce (diff) | |
Remove some cruft from Reductionops API.
- Removal of exported types and functions that were unused.
- Moving ad-hoc functions that were used once in the codebase to their call site.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions