diff options
| author | Emilio Jesus Gallego Arias | 2020-03-02 01:07:13 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:10 -0400 |
| commit | 139d206294f98194e9bdb19a7d5da73f9b104db5 (patch) | |
| tree | 32323ad0dc6e193df58b6ffb1592e348b4ec2c16 /dev/ci | |
| parent | 069304b4e3ba75c54e372615bf7bb0ee2a103b5d (diff) | |
[declare] More uniformity in arguments labels / names
In anticipation for more consolidation of duplicated functionality.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions