diff options
| author | regnat <rg@regnat.ovh> | 2021-05-19 14:51:34 +0200 |
|---|---|---|
| committer | regnat <rg@regnat.ovh> | 2021-05-26 18:44:17 +0200 |
| commit | a22755721b51949dbf03bc1eb156d6f37dc10bac (patch) | |
| tree | 3531730d3a18fa5dff91df82304167d1d2d75caf /tests/placeholders.sh | |
| parent | ce1a6c6b13070bf4d9d6d4aedb8158333eaef9b3 (diff) | |
Recursively substitute the realisations
Make sure that whenever we substitute a realisation, we also substitute
its entire closure
Diffstat (limited to 'tests/placeholders.sh')
0 files changed, 0 insertions, 0 deletions