ObjFW  Tags and Properties

Tags and Properties for Check-in ed7377d854

Context
2020-07-12
11:17
Fix missing include for getrandom() check-in: ed7377d854 user: js tags: trunk
2020-05-24
17:02
Clean up .gitignore check-in: b630206e06 user: js tags: trunk