jquery/commit
Use new input library
author | Jan Wielemaker |
---|---|
Thu Sep 13 15:37:57 2012 +0200 | |
committer | Jan Wielemaker |
Thu Sep 13 15:37:57 2012 +0200 | |
commit | 76772bfb93f09b745ef12b0b4a29c9ac99b28f0a |
tree | 2e5ff1681df4326816cf9ff8da5d37180fd7a641 |
parent | 8e2a411a2c900d7b5e1fabf8c3ed665b4694de2b |
Diff style: patch stat
diff --git a/lib/jquery.pl b/lib/jquery.pl index bb571c1..bf81c03 100644 --- a/lib/jquery.pl +++ b/lib/jquery.pl @@ -33,7 +33,7 @@ ]). :- use_module(library(http/http_path), []). :- use_module(library(http/html_head)). -:- use_module(library(http/dcg_basics)). +:- use_module(library(dcg/basics)). :- use_module(library(pure_input)). /** <module> JQuery declarations and utilities