diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-11-26 12:49:30 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-11-26 12:51:15 +0100 |
| commit | 3cdd8bfa40fe5fdf0c676af905c3c2c1f614ef24 (patch) | |
| tree | fe837d4a30bcad673f581fab18fd946364a60ef3 /library/src/shared/mod.rs | |
| parent | bf5edbbbbb75120d065d1c9587ccfa4eed4fdca1 (diff) | |
Extract numbering pattern from list node
Diffstat (limited to 'library/src/shared/mod.rs')
| -rw-r--r-- | library/src/shared/mod.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/library/src/shared/mod.rs b/library/src/shared/mod.rs new file mode 100644 index 00000000..55522190 --- /dev/null +++ b/library/src/shared/mod.rs @@ -0,0 +1,9 @@ +//! Shared definitions for the standard library. + +mod behave; +mod ext; +mod numbering; + +pub use behave::*; +pub use ext::*; +pub use numbering::*; |
