Yves Dubromelle 16b0a5b617 nixpkgs a une nouvelle option pour gérer java + JAVA_HOME

2019-06-10 12:53:08 +02:00

..

graphical

ajout font awesome

2019-05-18 12:14:23 +02:00

terminal

nixpkgs a une nouvelle option pour gérer java + JAVA_HOME

2019-06-10 12:53:08 +02:00

overrides.nix

ajout documentation

2017-12-16 14:57:40 +01:00