diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-05-18 10:56:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-18 10:56:11 +0200 |
| commit | 51d13c43c135bd337153eb19293458fd5441eb06 (patch) | |
| tree | 19af41bde4ce33f6b8b9a31b095359da42269996 /src/nix/profile-wipe-history.md | |
| parent | fdc97fc3f93c2afbd260b538b3546e14c0dcd134 (diff) | |
| parent | b8e44dc62bb884b5c887852733819a909129d850 (diff) | |
Merge pull request #6543 from herberteuler/master
primop_match: fix example letter case in document
Diffstat (limited to 'src/nix/profile-wipe-history.md')
0 files changed, 0 insertions, 0 deletions