From 3f4e01f99154a497ab33c22b88d18a89212cfb25 Mon Sep 17 00:00:00 2001 From: jbernardis Date: Sun, 1 Mar 2015 17:20:50 -0500 Subject: [PATCH] .gitignore: configtool.ini is now an expected user file. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 2cded6d..ed2d45a 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,4 @@ Makefile sim doc datalog.out +configtool.ini