Mentions légales du service

Skip to content
  • Gaëtan Gilbert's avatar
    7ff711b1
    Remove dev/shim · 7ff711b1
    Gaëtan Gilbert authored
    With corelib being small now, there is no real point in trying to
    build just the prelude instead of world. Consequently these scripts
    have become unmaintained (in my experience) and are not worth keeping.
    7ff711b1
    Remove dev/shim
    Gaëtan Gilbert authored
    With corelib being small now, there is no real point in trying to
    build just the prelude instead of world. Consequently these scripts
    have become unmaintained (in my experience) and are not worth keeping.
Loading