amalgame/commit
PLDOC: minor
| author | Jacco van Ossenbruggen |
|---|---|
| Thu Aug 28 10:59:51 2014 +0200 | |
| committer | Jacco van Ossenbruggen |
| Thu Aug 28 10:59:51 2014 +0200 | |
| commit | 4d347a1cf5eca29ba78deff8e7af2cbb2a7aca45 |
| tree | 585450dacacd299def9c22f4b25b84922b8daf88 |
| parent | 3bf7634fa72c1c190db8aeb0cd8bb859d23a5c5d |
Diff style: patch stat
diff --git a/lib/ag_modules/map_merger.pl b/lib/ag_modules/map_merger.pl index 7ceaa0e..47e9ab6 100644 --- a/lib/ag_modules/map_merger.pl +++ b/lib/ag_modules/map_merger.pl @@ -1,5 +1,5 @@ :- module(map_merger, [ - merger/3 % also used by for other modules + merger/3 % also used by other modules ]). :- use_module(library(amalgame/map)).