summaryrefslogtreecommitdiff
path: root/lib/ur/option.ur
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-31 19:04:30 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-31 19:14:28 -0400
commitcdce7ce3240d95463320da17bc2463499a84f330 (patch)
treee03974facc8b6321aed2d6499628d2a86690aaea /lib/ur/option.ur
parent92cb65158c3782bdd01acdc4472001f71977b382 (diff)
Update man pageHEADmaster
Diffstat (limited to 'lib/ur/option.ur')
0 files changed, 0 insertions, 0 deletions