David Kalnischkies 7f58427b95 use a less generic special trigger filename for stdin 11 lat temu
..
edspindexfile.cc 7f58427b95 use a less generic special trigger filename for stdin 10 lat temu
edspindexfile.h 6d7122b535 Annotate more methods with APT_OVERRIDE 11 lat temu
edsplistparser.cc 188a6fcf4f implement autobit and pinning in EDSP solver 'apt' 10 lat temu
edsplistparser.h 188a6fcf4f implement autobit and pinning in EDSP solver 'apt' 10 lat temu
edspsystem.cc 7f58427b95 use a less generic special trigger filename for stdin 10 lat temu
edspsystem.h 188a6fcf4f implement autobit and pinning in EDSP solver 'apt' 10 lat temu