HomeIsabelle/Phabricator
Diffusion afp-devel 717cfc6afe61

Remove redundant license
717cfc6afe61
Actions

Description

Remove redundant license

Details

Provenance
Thomas Bauereiss <thomas@bauereiss.name>Authored on
Parents
rAFP1ac7f6375fda: more realistic timeout: approx. 5min CPU time;
Branches
Unknown
Tags
Unknown

Event Timeline

Thomas Bauereiss <thomas@bauereiss.name> committed rAFP717cfc6afe61: Remove redundant license.Aug 19 2021, 1:26 PM

Changes (3)

PathSize

rAFP717cfc6afe61

View Options

thys/BD_Security_Compositional/LICENSE

Loading...