heptagon/mc_TypeLists.epi at master - heptagon - Gitea: Service Git d'Aurore

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

jeltz

/

heptagon

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

6 lines

184 B

Plaintext

Raw Permalink Blame History

 type tpriority = { missionTrackIndex : int; trackNumber : int }
 (* TrackNumbers of the tracks with highest priority,
    sorted from the highest priority *)
 type tpriorityList = int^4