Attention une mise à jour du service Gitlab va être effectuée le mardi 14 décembre entre 13h30 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

  • Stephane Glondu's avatar
    Move some platform-specific functions to a new module · 5d4fc819
    Stephane Glondu authored
    Add module Platform: single interface to functions that depend on the
    runtime. For now, the native (existing one), and a dummy one that
    constitutes a skeleton for the js one.
    
    All calls to Cryptokit, Z, Calendar (which depends on Unix) in the
    command-line tool now go through this module.
    5d4fc819
server.mllib 243 Bytes