mm(1) #65
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user
	
	No description provided.
		
		Delete Branch "mm"
	
	Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
cat(1p) and tee(1p) replacement.
@ -0,0 +68,4 @@.SH COPYRIGHTCopyright (C) 2024 DTB. License AGPLv3+: GNU AGPL version 3 or laterCopyright ©orCopyright (c)I'll take a look in gdb later, thanks for spotting that.
Can you confirm this is fixed?
Tested, fixed.
Pull request closed