]> granicus.if.org Git - nethack/commitdiff
Merge branch 'remove-redundant' of https://github.com/argrath/NetHack into pr668
authornhmall <nhmall@nethack.org>
Sat, 5 Feb 2022 13:57:16 +0000 (08:57 -0500)
committernhmall <nhmall@nethack.org>
Sat, 5 Feb 2022 13:57:16 +0000 (08:57 -0500)

Trivial merge