diff options
| author | Pierre-Marie Pédrot | 2014-11-10 09:36:39 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-12-01 23:16:47 +0100 |
| commit | ae9f7011a8441a3e34c9fc98497c0e663fb877ca (patch) | |
| tree | c0404af4590af36ef62d9b1fd4a157703c19b498 /dev/include | |
| parent | 62d343be2ed5e987b09ffe2c3532883d626d94d1 (diff) | |
More invariants in the code of Rewrite.
In particular, the old hypinfo is made as a proper cache, preventing dynamic
tricks to decide whether it was rightful to refresh it.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions