aboutsummaryrefslogtreecommitdiff
path: root/dev/base_include
diff options
context:
space:
mode:
authorGuillaume Melquiond2015-02-15 13:13:17 +0100
committerGuillaume Melquiond2015-02-15 13:13:17 +0100
commit5830f5867f36ebf66bc1f4126762f4b1c1444f94 (patch)
treeceb612c5a65ccc856e7b0150076a0b01f479aafe /dev/base_include
parentdd790577b8acc241201f6863fe3409a2e08b8757 (diff)
Document the behavior change of Instance wrt {|...|}. (Fix for bug #3749)
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions