diff --git a/docs/src/osalmain.dox b/docs/src/osalmain.dox index 7502b6991..fee3a1c72 100644 --- a/docs/src/osalmain.dox +++ b/docs/src/osalmain.dox @@ -64,9 +64,9 @@