yui3/commit

upgrade default yui3 version to latest 3.17.2. Default used to be 3.7.1 ...

authorJacco van Ossenbruggen
Wed Aug 13 17:20:29 2014 +0200
committerJacco van Ossenbruggen
Wed Aug 13 17:20:29 2014 +0200
commitf24c2fd6ea54713d05294f6f0b71a312e33f6f4e
treef3819d4edd52cd575f99c5d0415568ed40ca8202
parente398741fbe85b255194480c42a3580b1d67301c4
Diff style: patch stat
diff --git a/config-available/yui3.pl b/config-available/yui3.pl
index cd1729d493..be33ce4f75 100644
--- a/config-available/yui3.pl
+++ b/config-available/yui3.pl
@@ -20,7 +20,7 @@ Main functionality is to make it easy to:
 	   'Location of the local gallery git (absolute dir name or relative to server directory)').
 :- setting(remote_path, atom, 'http://yui.yahooapis.com/',
 	   'Location of the local yui git (absolute dir name or relative to server directory)').
-:- setting(version, atom, '3.7.1',
+:- setting(version, atom, '3.17.2',
 	   'remote YUI version to use (e.g. when local=false)').
 
 :- multifile http:location/3.