Changeset 133740 in git for factory

Timestamp:

Mar 10, 1998, 3:53:10 PM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

071a57d32bf2ee76f41d23ebb68750940ae505ea

Parents:

140854bae823c965dbbed185aaa231f64b2c8cbe

Message:

	* GNUmakefile.in (basefactoryincl): new header files added to
	  distribution


git-svn-id: file:///usr/local/Singular/svn/trunk@1205 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/GNUmakefile.in (modified) (2 diffs)

factory/GNUmakefile.in

@@ -1 +1 @@
 # @configure_input@
-# $Id: GNUmakefile.in,v 1.29 1998-02-20 16:43:23 schmidt Exp $
+# $Id: GNUmakefile.in,v 1.30 1998-03-10 14:53:10 schmidt Exp $
 
 #
@@ -216 +216 @@
                 fac_util.h \
                 ffops.h \
+                ftmpl_array.h \
+                ftmpl_factor.h \
+                ftmpl_functions.h \
+                ftmpl_list.h \
+                ftmpl_matrix.h \
                 gf_tabutil.h \
                 gfops.h \