Sebastian Serth 1013903fef ACE Editor: Restore custom annotations ...

This is a regression introduced by the recent ACE editor update to 1.2.0 and 1.2.9. We should consider this change when working https://github.com/openHPI/codeocean/issues/250.

2023-09-12 19:27:52 +02:00

..

ace

ACE Editor: Restore custom annotations

2023-09-12 19:27:52 +02:00