Skip to content
This repository has been archived by the owner on Jul 3, 2023. It is now read-only.

Commit

Permalink
Remove doc/spec submodule.
Browse files Browse the repository at this point in the history
Apparently, submodules don't work well with `cargo`:
- #89 (comment)
- #89 (comment)

We will add a copy of the latex source to this repo instead.
  • Loading branch information
ryzhyk committed Jun 30, 2022
1 parent 2384978 commit 6741fab
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
4 changes: 0 additions & 4 deletions .gitmodules

This file was deleted.

1 change: 0 additions & 1 deletion doc/spec
Submodule spec deleted from 294655

0 comments on commit 6741fab

Please sign in to comment.