mirror of
https://github.com/martinvonz/jj.git
synced 2024-10-26 08:37:49 +00:00
57a5d7dd64
If we ever implement some sort of ABI for dynamic extension loading, we'll need these underlying APIs to support multiple extensions, so we might as well do that first. |
||
---|---|---|
.. | ||
main.rs |