diff options
| author | Miguel Ojeda <ojeda@users.noreply.github.com> | 2020-09-18 20:12:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-18 20:12:56 +0200 |
| commit | 33c80fea1445f217bc048aada96e77bab857cd1c (patch) | |
| tree | cf943f7b142e55791d7cb275d9ef0df00cef20f3 | |
| parent | 7f60ab154ad56cb57812fb002125c62cba338821 (diff) | |
| parent | 29570ae53100fd52f862e07938447a6defd84932 (diff) | |
Merge pull request #13 from Rust-for-Linux/fix-removed-fs
Fix missing removal of `mod filesystem`
| -rw-r--r-- | rust/kernel/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rust/kernel/src/lib.rs b/rust/kernel/src/lib.rs index b545e5284972..688c7590602d 100644 --- a/rust/kernel/src/lib.rs +++ b/rust/kernel/src/lib.rs @@ -15,7 +15,6 @@ pub mod c_types; pub mod chrdev; mod error; pub mod file_operations; -pub mod filesystem; pub mod prelude; pub mod printk; pub mod random; |