diff options
Diffstat (limited to 'pablo/Makefile.in')
| -rw-r--r-- | pablo/Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pablo/Makefile.in b/pablo/Makefile.in index d5df455..8db9ba7 100644 --- a/pablo/Makefile.in +++ b/pablo/Makefile.in @@ -7,8 +7,6 @@ top_srcdir=@top_srcdir@ top_builddir=.. srcdir=@srcdir@ -VPATH=.:@srcdir@ -.PATH: . @srcdir@ @COMMENCE@ TRACE=perl ../bin/trace ############################################################################### |