Artifact 0ee9bf69c4ccb14ee5b34c21fb2f862faab49fd87084d43651aa16553d2fd6d1:

• Executable file dev/directives2pmd.py — part of check-in [e9e02ee8f4] at 2020-11-18 21:35:01 on branch trunk — Use manual as SecOptions source (incomplete, but yields more details) (user: mario size: 2742)

---

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.