[PPL-devel] [GIT] ppl/ppl(master): Worked around a Doxygen bug.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: a1a314d3c059b87a8f3bd55c87820cf057b7bbd6
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a314d3c059b87a8f3bd55c87820cf057b7bbd6

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 11 09:06:13 2010 +0200

Worked around a Doxygen bug.

---

 doc/definitions.dox |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index f2aa097..ae0562f 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2939,7 +2939,7 @@ C. Ancourt.
 <DT>[BA05]</DT>
 <DD>
 \anchor BA05
-J. M. Bjørndalen and O. Anshus.
+J. M. Bjorndalen and O. Anshus.
  Lessons learned in benchmarking - Floating point benchmarks: Can
   you trust them?
  In <em>Proceedings of the <em>Norsk informatikkonferanse 2005</em>