diff options
| author | Emilio Jesus Gallego Arias | 2020-06-30 14:26:59 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-08-31 21:08:29 +0200 |
| commit | ec23372744683b8d0b5dfa01eb731c33e73fef4e (patch) | |
| tree | b0b2bb6859ae8cdfc820a5b349869ec5c04d0ef5 /dev | |
| parent | 84a32bbdf6572a45a78667803e574a561bbed21f (diff) | |
[declare] Return both declared constants in Derive path.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions