capitalize GobView

goblint · Mar 1, 2023 · 49c9d53 · 49c9d53
1 parent 8f9c75d
commit 49c9d53
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
-# Web Frontend for Goblint
+# GobView
 
-The Web Frontend allows inspecting the analyzed files and results of an analysis run with Goblint.
+A Web Frontend for Goblint.
+
+It allows inspecting the analyzed files and results of an analysis run with Goblint.
 It is based on [jsoo-react](https://github.com/jchavarri/jsoo-react) and was originally developed by Alex Micheli for his Bachelor's thesis at TUM i2, significantly extended by Kerem Cakirer, and is now maintained by the Goblint team.
 
 ## Installing

diff --git a/public/index.html b/public/index.html
@@ -5,7 +5,7 @@
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
 
-  <title>Gobview</title>
+  <title>GobView</title>
 
   <link rel="icon" href="https://avatars.githubusercontent.com/u/917621?s=96&v=4"/>
 </head>