# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1404330056 25200
# Node ID 6cef525a3bff7df61c50cde070b7818501f117cb
# Parent  fd4ca38f38c968e960c459a34b6ecada431d7911
add f13 thru f24 keys

diff -r fd4ca38f38c9 -r 6cef525a3bff src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:39:57 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:40:56 2014 -0700
@@ -23,6 +23,7 @@
 import java.nio.charset.Charset;
 import java.text.SimpleDateFormat;
 import java.util.Date;
+import java.util.HashMap;
 import java.util.LinkedHashSet;
 import java.util.LinkedList;
 import java.util.List;