aboutsummaryrefslogtreecommitdiff
path: root/docs/user
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2021-02-07 11:15:02 +0000
committerAleksey Kladov <[email protected]>2021-02-07 11:15:02 +0000
commit7022ea52b5f2a0262c2cd96b290ddb8ec0af0df9 (patch)
treeb5b73fc760b261fafda58a3e20e04b8e74559c60 /docs/user
parent75a87ec198b25c5938c651ef087f9ebf923c34f8 (diff)
AdtDef -> Adt
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions