diff options
| author | Gaëtan Gilbert | 2019-01-08 14:56:31 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-14 15:46:16 +0100 |
| commit | e239e580ac03cb05df8c344be7df6950a5384554 (patch) | |
| tree | 411db5dfd7bc2640d0262f224b15d03321f26538 /dev/doc | |
| parent | ab8c27c589ea90ac86518cc7c1b513b740190cdc (diff) | |
Add StrictProp.v with basic SProp related definitions
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions