Jean-Pierre PRUNARET 75682ee664 radio : extraction d'une option pour activer le profil ...

+ découpage des modules terminal/graphical

2017-11-19 11:49:43 +01:00

..

adminsys.nix

nsp

2017-06-03 13:10:00 +02:00

bureau.nix

indentation

2017-06-03 13:08:50 +02:00

bureautique.nix

désactivation textadept (erreur compil)

2017-11-05 18:54:59 +01:00

cao.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

cartographie.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

client-internet.nix

ménage (suite)

2017-07-05 22:50:02 +02:00

default-applications.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

default.nix

radio : extraction d'une option pour activer le profil

2017-11-19 11:49:43 +01:00

developpement-elm.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

developpement-haskell.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

developpement-java.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

developpement-jetbrains.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

developpement-rust.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

developpement.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

edition-musique.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

edition-photo.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

edition-video.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

jeux.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

multimedia.nix

ménage (suite)

2017-07-05 22:50:02 +02:00

network.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00

radio.nix

radio : extraction d'une option pour activer le profil

2017-11-19 11:49:43 +01:00

securite.nix

regroupement des options éparses en configurationOptions et renommage

2017-05-31 00:23:10 +02:00