fix bad pruning in meta-call

Browse Source

...

This commit is contained in:

Vítor Santos Costa

2013-11-16 23:08:17 +00:00

parent 3aa994313b

commit 5dbaeedf08

9 changed files with 11 additions and 11 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2

packages/RDF

Submodule packages/RDF updated: 9995994768...5b577c8414

2

packages/http

Submodule packages/http updated: c62502891b...3ea73d3b1d

2

packages/jpl

Submodule packages/jpl updated: 1743351432...f96cfb7533

2

packages/plunit

Submodule packages/plunit updated: 0bac35ec25...0593a65587

2

packages/real

Submodule packages/real updated: 42164151ac...9ff05eaf6a

2

packages/semweb

Submodule packages/semweb updated: 3ed10e016d...2505370b84

2

packages/sgml

Submodule packages/sgml updated: 18647f78aa...22db6b08d5