diff options
| author | Paul Daniel Faria <[email protected]> | 2020-08-09 23:52:19 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-08-09 23:52:19 +0100 |
| commit | bf9b4578bbe038501ef7c337e22b448de477f61c (patch) | |
| tree | dc307ec47e6bfff850ddc5e0079e14f2512c87a9 /editors/code/.gitignore | |
| parent | 6cde0b1aa0f6b8623c6b81b2396f4a0345891233 (diff) | |
Remove Option<...> from result of Crate::root_module
There doesn't seem to be any need for it, and removing it simplies
several paths of code that depend on it.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions