Changeset 54e84ca in git for ntl


Ignore:
Timestamp:
Jun 6, 2006, 8:40:15 PM (18 years ago)
Author:
Michael Brickenstein <bricken@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
fde597007f11fbf16445cfd215c8d3ab696801a0
Parents:
5d466e82411d12b39248c1ec6250033f82e612fc
Message:
*bricken: pattern matching improved


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

Legend:

Unmodified
Added
Removed
  • ntl/src/DoConfig

    r5d466e r54e84ca  
    7777foreach $arg (@ARGV) {
    7878
    79    if ($arg =~ '-h|help|-help|--help') {
     79   if ($arg =~ '^-h|help|-help|--help') {
    8080      system("more ../doc/config.txt");
    8181      exit;
Note: See TracChangeset for help on using the changeset viewer.