diff options
| author | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
| commit | d0e4ba8124345ce990de7fdf7497dd903de6c342 (patch) | |
| tree | e8cc8f5e41615ca9ca536f71ddec8aca7f882a6c /documentation/bookmark/security/verification/formal.md | |
| parent | b135e487e8f705a5fea7b9ef785310572642063a (diff) | |
Got rid of the superfluous "lux macro" extension.
Diffstat (limited to 'documentation/bookmark/security/verification/formal.md')
0 files changed, 0 insertions, 0 deletions