mirror of
https://github.com/EduApps-CDG/OpenDX
synced 2024-12-30 09:45:37 +01:00
Adding an extension will now require an additional step, but this evolved version of the extension list code is more sane and the structures can be more easily copied around.