1
0
mirror of https://github.com/nix-community/home-manager synced 2024-07-03 11:53:27 +02:00
Commit Graph

2 Commits

Author SHA1 Message Date
Robert Helgesson
a30751464a
info: use XDG_CACHE_HOME if defined 2017-08-26 12:10:14 +02:00
Christopher League
ff65781b84
info: add module
This is a module for managing the GNU info directory for the user
profile. See comments at the top of `modules/programs/info.nix` for
further information.
2017-05-26 00:44:55 +02:00