Changeset 78a9c9 in git for Singular/misc_ip.cc


Ignore:
Timestamp:
Jan 10, 2022, 6:06:25 PM (2 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
676e2a091749a42bee06cf6f1c818c7058262096
Parents:
5c29ad95d24d1484c07c51e546825480eccc41b0
Message:
storing/using history in .singularhist by default
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/misc_ip.cc

    r5c29ad r78a9c9  
    11191119    }
    11201120#endif   // HAVE_SIMPLEIPC
    1121     fe_reset_input_mode();
    11221121    monitor(NULL,0);
    11231122#ifdef PAGE_TEST
Note: See TracChangeset for help on using the changeset viewer.