From eb70f3e089455eda8c78b6ba7fade90b0af78f21 Mon Sep 17 00:00:00 2001
From: Arjit Chaudhary <arjit.c@gmail.com>
Date: Sat, 29 Aug 2015 22:37:27 +0530
Subject: [PATCH] Added page title

---
 html/pages/about.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/html/pages/about.inc.php b/html/pages/about.inc.php
index 53eee1e3e..8d131d5b5 100644
--- a/html/pages/about.inc.php
+++ b/html/pages/about.inc.php
@@ -1,4 +1,5 @@
 <?php
+$pagetitle[] = 'About';
 $git_log = `git log -10`;
 ?>
 <div class="modal fade" id="git_log" tabindex="-1" role="dialog" aria-labelledby="git_log_label" aria-hidden="true">