diff options
author | Luke Smith <luke@lukesmith.xyz> | 2020-05-19 08:47:05 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-19 08:47:05 -0400 |
commit | ed1e996675ed56d3b55649ec9aa0029bc023ed92 (patch) | |
tree | 0327d6ec9508d42049a5353f6c4f7acc12da4b38 /%3fid%3ded1e996675ed56d3b55649ec9aa0029bc023ed92&id2%3df145e559e4e4e4c1323c1c8a349a645e5eed7002?id=ed1e996675ed56d3b55649ec9aa0029bc023ed92 | |
parent | f145e559e4e4e4c1323c1c8a349a645e5eed7002 (diff) | |
parent | 0bd28e5f8cd632007d098972d038b805f4de5014 (diff) |
Merge pull request #230 from g-w1/patch-1
Add man-db to progs.csv.
Diffstat (limited to '%3fid%3ded1e996675ed56d3b55649ec9aa0029bc023ed92&id2%3df145e559e4e4e4c1323c1c8a349a645e5eed7002?id=ed1e996675ed56d3b55649ec9aa0029bc023ed92')
0 files changed, 0 insertions, 0 deletions