Sebastian Serth 3dc8265292 Toggle editor buttons when jumping to a source line

2021-12-21 13:26:06 +01:00

..

config

Bundle Update

2019-10-23 15:41:47 +02:00

images

Enable static favicon URL for use in external systems

2021-02-17 10:51:06 +01:00

javascripts

Toggle editor buttons when jumping to a source line

2021-12-21 13:26:06 +01:00

remote_scripts

Align files_attributes in remote evaluation with structure of normal submission

2021-04-30 12:06:12 +02:00

stylesheets

Add CommunitySolution

2021-11-23 01:38:31 +01:00