Historique des commits

Auteur SHA1 Message Date
  Paul-Dieter Klumpp 1ecc3201bd write a names file, not a definition file, and tell the two apart il y a 1 semaine
  Paul-Dieter Klumpp bef4c10c48 store a user's effect names on their own, merged over the definition il y a 1 semaine