diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:57:50 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:57:50 -0600 |
| commit | b3934d3e16fa847b308a7f07c51dd48733f31744 (patch) | |
| tree | 67225b79565f100983d982a7674443f8db61805f /lib/user.ml | |
| parent | f01b869a35bff1638625edd9f98c1fca017e98d9 (diff) | |
| download | wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.tar.gz wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.tar.bz2 wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.zip | |
Add extra variables
Diffstat (limited to 'lib/user.ml')
0 files changed, 0 insertions, 0 deletions