# HG changeset patch
# User Tercio
# Date 1490740637 10800
# Node ID 0076174cbbb4b78ab655c08509fda294909ed9b7
# Parent  c046d1bdac10cf2db59876aa9f6fd991f37f0128
- 7.2 ToC Update

diff -r c046d1bdac10 -r 0076174cbbb4 HotCorners.toc
--- a/HotCorners.toc	Tue Mar 07 14:07:49 2017 -0300
+++ b/HotCorners.toc	Tue Mar 28 19:37:17 2017 -0300
@@ -1,4 +1,4 @@
-## Interface: 70100
+## Interface: 70200
 ## Title: Hot Corners
 ## Notes: Adds a bar over the top left side.
 ## SavedVariables: HotCornersDB