Jean-Pierre PRUNARET 7a7bcc99f2 EXP désactivation de darcs

2019-05-18 12:15:09 +02:00

..

graphical

ajout font awesome

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

terminal

EXP désactivation de darcs

2019-05-18 12:15:09 +02:00

overrides.nix

ajout documentation

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