diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-11-20 17:14:21 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-11-20 17:14:21 +0530 |
| commit | ff223ce6de0af5a3048bdaec92b9d0178c4b98ed (patch) | |
| tree | 86e1921a4bf3e1299465441ea12141b5eb9d03e7 /home-manager/gui | |
| parent | c70ac7f7e8035deed8fdb66cbd1fd5dd21fe1830 (diff) | |
home/pc/dev: don't generate caches for man pages
Diffstat (limited to 'home-manager/gui')
0 files changed, 0 insertions, 0 deletions