tree 7659247875ef49dcc3f1d493ca184eedbc835079
parent d2631ef61d621eee4c97270b207ed1d2beb1b1f8
parent 912e9965ef64e97ed496e04b5c2a3376a21bcfd1
author Benoit Steiner <benoit.steiner.goog@gmail.com> 1521766954 +0000
committer Benoit Steiner <benoit.steiner.goog@gmail.com> 1521766954 +0000

Merged in zzp11/eigen/zzp11/a-small-mistake-quickreferencedox-edited-1510217281963 (pull request PR-346)

a small mistake QuickReference.dox edited online with Bitbucket