diff options
Diffstat (limited to 'gfsm/gfsm/src/libgfsm/gnulib')
-rw-r--r-- | gfsm/gfsm/src/libgfsm/gnulib/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gfsm/gfsm/src/libgfsm/gnulib/Makefile.in b/gfsm/gfsm/src/libgfsm/gnulib/Makefile.in index d379846..0db3ded 100644 --- a/gfsm/gfsm/src/libgfsm/gnulib/Makefile.in +++ b/gfsm/gfsm/src/libgfsm/gnulib/Makefile.in @@ -172,7 +172,6 @@ PKG_CONFIG_PATH = @PKG_CONFIG_PATH@ POD2HTML = @POD2HTML@ POD2TEXT = @POD2TEXT@ RANLIB = @RANLIB@ -SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ STRIP = @STRIP@ |