diff options
author | Ryan Prior <rprior@protonmail.com> | 2020-05-01 14:47:20 -0500 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-15 20:37:42 +0200 |
commit | 5225626ffcdc29a62e8e089abcbb3d304febd2f2 (patch) | |
tree | 2128d5c7c2824b7e4e60b2246d7acd880ab62d8a /gnu/packages/engineering.scm | |
parent | 6e9ffc3f778b43aa42c2142ec9ebbe3be4bf47cc (diff) |
gnu: oil-shell: Rename to "oil".
* gnu/packages/shells.scm (oil): Rename variable from…
(oil-shell): …this. Redefine using DEPRECATED-PACKAGE.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to 'gnu/packages/engineering.scm')
0 files changed, 0 insertions, 0 deletions