Jon Eugster c0b7b7a048 make disabled tactics clickable

2023-06-20 11:38:05 +02:00

..

public

fix viewport scale

2023-05-04 15:29:13 +02:00

src

make disabled tactics clickable

2023-06-20 11:38:05 +02:00