diff options
| author | Hugo Herbelin | 2016-09-30 18:45:06 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-09-30 19:20:40 +0200 |
| commit | 89ec88f1e750cfb786de1929ef44fac70c9a29ab (patch) | |
| tree | 9b8521eff78cd358bbdb6bb1b8dfa2df22ac2dd0 /dev/include | |
| parent | c78af970e1f003587fba9bebdf3ab5ca3b23face (diff) | |
Quick fix to another bug of "subst" introduced in 4e3d464 and spotted by Maxime.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions