Changeset 73de87 in git for factory/Makefile.am


Ignore:
Timestamp:
Jan 24, 2019, 4:13:31 PM (5 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
b99f73ecc394b70f6e4b6dbfbf7c63e4a88e7a71
Parents:
c6a7373f30213435dfd44fbead5a898c4acd1cf83c2d4edb6f6663b62e5b25daa0134919ce5aa041
Message:
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/Makefile.am

    r3c2d4e r73de87  
    172172libfactory_includedir = ${includedir}/factory
    173173
    174 nodist_libfactory_include_HEADERS = factory.h factoryconf.h
     174nodist_libfactory_include_HEADERS = factory.h factoryconf.h globaldefs.h
    175175
    176176
Note: See TracChangeset for help on using the changeset viewer.