swish/commit
Copied from upstream
author | Jan Wielemaker |
---|---|
Mon Jul 6 15:46:49 2015 +0200 | |
committer | Jan Wielemaker |
Mon Jul 6 15:46:49 2015 +0200 | |
commit | 700f116a6b47d71f1f40e9cca0c24f97bddbe99e |
tree | 11ebcb697c2863867e1f3c86fc44233c9efe6052 |
parent | ec0a1b23f9a7700b13ab5b430d91032e0e199fba |
Diff style: patch stat
diff --git a/lib/swish/markdown.pl b/lib/swish/markdown.pl index 39da6ee..7b745f0 100644 --- a/lib/swish/markdown.pl +++ b/lib/swish/markdown.pl @@ -105,6 +105,9 @@ prolog:doc_autolink_extension(swinb, notebook). % - [Label](library/lists.pl) % ``` +:- multifile + swish_config:source_alias/2. + file(File, Options) --> { once(sub_atom(File, Pre, _, _Post, /)), sub_atom(File, 0, Pre, _, Alias),