search

TermCOMP / starexec-master

5 stars 15 forks source link

partially revert 91c112b #67

Closed ffrohn closed 1 year ago

ffrohn commented 1 year ago

it was only supposed to register KoAT, but also changed the ID for LoAT