From ef8cbfc44dd620fdcbdb51cdb173217194bebe31 Mon Sep 17 00:00:00 2001
From: "Field G. Van Zee" <field@cs.utexas.edu>
Date: Sat, 2 Mar 2013 12:47:06 -0600
Subject: [PATCH] Added "version" to .gitignore.

Details:
- Added "version" to .gitignore file so that the file does not show up when
  running 'git status', or accidentally get pulled into the index when
  running 'git add' or 'git add --all'.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index bc5798dd0..a762cbcdf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@
 # -- build system files --
 
 config.mk
+version
 
 # -- directories with build products --