make pin display better on pinned tiles

[themes.git] / origdiff

diff --git a/origdiff b/origdiff
index 173dc56c9f01e82fe86022a838dcd1b7b003803f..e1bfb1a5dc1afd467085039fcf68410de3f6ab7d 100755 (executable)
--- a/origdiff
+++ b/origdiff
@@ -6,15 +6,15 @@ SCRIPT_DIR=$(pwd)
 
 # ============ vars specific to the versions ==============
 
-NAME_PRE=25
-NAME_POST=26
+NAME_PRE=37
+NAME_POST=38
 
-TAG_PRE_COMM=BETA_26_END
-TAG_POST_COMM=tip #BETA_27_END
-TAG_PRE_MOZ=FIREFOX_26_0b10_RELEASE #FIREFOX_BETA_26_END
-TAG_POST_MOZ=tip #FIREFOX_BETA_27_END
-TAG_PRE_EXT=SEAMONKEY_2_23_RELEASE
-TAG_POST_EXT=tip #SEAMONKEY_2_24_RELEASE
+TAG_PRE_COMM=BETA_37_END
+TAG_POST_COMM=tip #BETA_38_END
+TAG_PRE_MOZ=FIREFOX_BETA_37_END
+TAG_POST_MOZ=tip #FIREFOX_BETA_38_END
+TAG_PRE_EXT=SEAMONKEY_2_34_RELEASE
+TAG_POST_EXT=tip #SEAMONKEY_2_35_RELEASE
 
 # ===================== process repos =====================