Changeset c9a5d5 in git for factory/GNUmakefile.in


Ignore:
Timestamp:
Jul 28, 2005, 7:21:40 PM (18 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
28ad143c7ef96a2d14d40caa2a183ff58b568050
Parents:
7caae281772c0f6d59de84095a25a25c3153e693
Message:
*hannes: removed makeheader.pl


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

Legend:

Unmodified
Added
Removed

  • factory/GNUmakefile.in

    r7caae2 rc9a5d5  
    11# @configure_input@
    2 # $Id: GNUmakefile.in,v 1.43 2005-05-12 09:26:47 Singular Exp $
     2# $Id: GNUmakefile.in,v 1.44 2005-07-28 17:21:40 Singular Exp $
    33
    44#
    … …  
    395395                bin/folding.el bin/fold-docu.el \
    396396                bin/install-sh bin/mkinstalldirs \
    397                 bin/makeheader bin/makeheader.pl
     397                bin/makeheader
    398398
    399399#
Note: See TracChangeset for help on using the changeset viewer.