From d999beb98edfbb8dac0c67b30a8bbc1ebc537281 Mon Sep 17 00:00:00 2001
From: Tim Carver <tjc@sanger.ac.uk>
Date: Fri, 20 Jul 2012 12:10:07 +0100
Subject: [PATCH] add project file manager

---
 docs/project_manager.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/project_manager.sgml b/docs/project_manager.sgml
index b6dc64b82..9865c3531 100644
--- a/docs/project_manager.sgml
+++ b/docs/project_manager.sgml
@@ -45,7 +45,7 @@ for a 'project.properties' file in the local directory as well as for the '.arte
 file in the home directory. 
    </PARA>
    <PARA>
-Before opening a project the optional files can be toggled on and off in the
+Before opening a project the files can be toggled on and off in the
 Project File Manager so that each can optionally be deselected and not opened.
 Once a project has been set up it can be selected from the list and clicking 'OPEN' will
 open the main Artemis window. 
-- 
GitLab