diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2026-01-05 01:31:25 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2026-01-05 01:31:25 -0700 |
| commit | 796558e57a040932e7ba9e219729267231f3139b (patch) | |
| tree | 527fecd7cc05b60973ffef73ae6505ca99b35be6 /src/git: | |
| parent | f6497f43b02e8b0351d0bbf0446c037161cda430 (diff) | |
| download | montis-796558e57a040932e7ba9e219729267231f3139b.tar.gz montis-796558e57a040932e7ba9e219729267231f3139b.tar.bz2 montis-796558e57a040932e7ba9e219729267231f3139b.zip | |
[reorg] remove references to foreign_* outside the core.
Added Monadic counterparts that work better.
Diffstat (limited to 'src/git:')
0 files changed, 0 insertions, 0 deletions