]> git.zerfleddert.de Git - micropolis/blame - res/sounds/eraser.wav
correctly resize editor window to be in sync with the mini map
[micropolis] / res / sounds / eraser.wav
CommitLineData
6a5fa4e0
MG
1