diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-06-18 16:26:46 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-06-18 16:26:46 +0800 |
| commit | 3a4c22e931470fb1280ad0777e3a524b68314846 (patch) | |
| tree | 94efa069ac37d9c1e5f9913a3bf73bc51219648b /semiring/src/lib.rs | |
| parent | a80db17473ff09cc72acba2c1975101e6dbedf39 (diff) | |
adjust autotools settings
Add more directories under control of autotools.
Diffstat (limited to 'semiring/src/lib.rs')
0 files changed, 0 insertions, 0 deletions