# HG changeset patch # User tercio # Date 1413384640 10800 # Node ID 453c68ff5d729be570b9fc3a8c2d4d475e700e9a # Parent be6f5d3e0a9557ffcbf6c7535ea8f37feff1e781 update for 6.0.2 diff -r be6f5d3e0a95 -r 453c68ff5d72 HotCorners.toc --- a/HotCorners.toc Sun Aug 31 21:23:10 2014 -0300 +++ b/HotCorners.toc Wed Oct 15 11:50:40 2014 -0300 @@ -1,4 +1,4 @@ -## Interface: 50400 +## Interface: 60000 ## Title: Hot Corners ## Notes: Adds a bar over the top left side. ## SavedVariables: HotCornersDB