From 337f085d7d816c629b66d779fda7d25260251ce4 Mon Sep 17 00:00:00 2001 From: Patrick Sanan Date: Thu, 5 Apr 2018 18:12:13 +0200 Subject: [PATCH] Docs: dev changes typos --- src/docs/website/documentation/changes/dev.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/docs/website/documentation/changes/dev.html b/src/docs/website/documentation/changes/dev.html index bd52b8e559..a98c72b35c 100644 --- a/src/docs/website/documentation/changes/dev.html +++ b/src/docs/website/documentation/changes/dev.html @@ -106,7 +106,7 @@

Configure/Build:

IS:

PetscDraw:

@@ -116,7 +116,7 @@

PetscSection:

Mat: