From 70e8e9f294729f120f7b52fb9803fddfd37e464e Mon Sep 17 00:00:00 2001
From: jzaefferer <joern.zaefferer@gmail.com>
Date: Sat, 20 Nov 2010 15:45:46 +0100
Subject: [PATCH] Menu: Update license header in theme.

---
 themes/base/jquery.ui.menu.css | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/themes/base/jquery.ui.menu.css b/themes/base/jquery.ui.menu.css
index 1b38f0680..667518bff 100644
--- a/themes/base/jquery.ui.menu.css
+++ b/themes/base/jquery.ui.menu.css
@@ -1,5 +1,10 @@
-/* Menu
-----------------------------------*/
+/*
+ * jQuery UI Menu @VERSION
+ *
+ * Copyright 2010, AUTHORS.txt (http://jqueryui.com/about)
+ * Dual licensed under the MIT or GPL Version 2 licenses.
+ * http://jquery.org/license
+ */
 .ui-menu {
 	list-style:none;
 	padding: 2px;
-- 
2.39.5