summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn Fultz <jfultz@wolfram.com>2015-08-03 19:30:11 -0500
committerJohn Fultz <jfultz@wolfram.com>2015-08-03 20:33:04 -0500
commitb8024ae268e49c17c40da105b9e22aaa41fcffeb (patch)
tree1edb58d6f7d6470c55bc9e4840c9f96b7f4b0fdd /.gitignore
parent9eada6e94f345d0c1a2d93de5dc56613a93a3ea0 (diff)
Finish Add/Edit/Remove for boards.
Delete functionality is now inside of the edit dialog. Which will make things less messy when other edit dialogs are introduced.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a345851..43da009 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,3 +20,4 @@ ChangeLog
dawginput.raw
playabilities.raw
smaller.raw
+DerivedData