diff options
| author | Emilio Jesus Gallego Arias | 2019-12-10 17:24:11 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-10 17:24:11 +0100 |
| commit | 0fa2d49c6fe110a61811c8305c735342dc717213 (patch) | |
| tree | 45fc5c34c1054ad7c5cf7989642911b784217223 /dev/tools/pre-commit | |
| parent | 0ad6e13fc3065c6ff1eefa87c8a709fdf5602b0a (diff) | |
| parent | 5ccf803a86bc46d67038f4d33d26d5c9e899027f (diff) | |
Merge PR #11269: Several cleanups and factorization in scheme declarations
Reviewed-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions