Diffusion Documentation 882217eafbc7

web: Add top menu entry for the release keys
882217eafbc7
Actions

Tags

None

Subscribers

None

Description

web: Add top menu entry for the release keys

Details

Provenance

Authored on Aug 6 2020, 11:32 AM

Parents

rDa3c1fd36589f: web: Remove expired dist keys

Branches

Unknown

Tags

Unknown

Event Timeline

• werner committed rD882217eafbc7: web: Add top menu entry for the release keys (authored by • werner).Aug 6 2020, 11:32 AM

Changes (2)

Path

Size

web/

share/

signature_key.org

rD882217eafbc7

web/share/gpgweb.el

Loading...

web/signature_key.org

Loading...