diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-04-04 11:16:59 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-06-22 11:07:08 +0200 |
commit | 7721aeeede9c5578f29e7f37a5ea2005c7d9ce1b (patch) | |
tree | 1911ba791a997813dae2c69a9c6a1b077b9b126d /test-suite/ssr | |
parent | df35025b2be4a0dc9aadecc0e3110a21012683cf (diff) |
[ssr] simplify delayed clears
- we always rename
- we compile {clear}/view to /view{clear}
Diffstat (limited to 'test-suite/ssr')
0 files changed, 0 insertions, 0 deletions