aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
diff options
context:
space:
mode:
authorMatthieu Sozeau2017-08-24 16:36:52 +0200
committerMatthieu Sozeau2017-08-25 14:03:48 +0200
commitae43495dee6e3f4ab407a49050ea2546ab6bd428 (patch)
tree535d685cb69430becfb7c922cda0336cae50a76d /dev/doc
parent7b1ff0c70a3ba9cd3cfa5aa6723f8f8a2b6e5396 (diff)
primproj: fix bug 5245, hnf on proj with simpl never flag.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions