mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-28 23:55:54 +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 |