Move ui/terminal/ to terminal/
commit1c91efdc45c1d272392190517dc68e8c3ee64bbe
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 13 Nov 2018, 17:15 (8 years ago)
parent2d8b600
ui/terminal/src/Bump.hs → terminal/src/Bump.hsrenamed
The content is the same.
ui/terminal/src/Develop.hs → terminal/src/Develop.hsrenamed
The content is the same.
ui/terminal/src/Develop/Generate/Help.hs → terminal/src/Develop/Generate/Help.hsrenamed
The content is the same.
ui/terminal/src/Develop/Generate/Index.hs → terminal/src/Develop/Generate/Index.hsrenamed
The content is the same.
ui/terminal/src/Develop/Socket.hs → terminal/src/Develop/Socket.hsrenamed
The content is the same.
ui/terminal/src/Develop/StaticFiles.hs → terminal/src/Develop/StaticFiles.hsrenamed
The content is the same.
ui/terminal/src/Develop/StaticFiles/Build.hs → terminal/src/Develop/StaticFiles/Build.hsrenamed
The content is the same.
ui/terminal/src/Diff.hs → terminal/src/Diff.hsrenamed
The content is the same.
ui/terminal/src/Init.hs → terminal/src/Init.hsrenamed
The content is the same.
ui/terminal/src/Install.hs → terminal/src/Install.hsrenamed
The content is the same.
ui/terminal/src/Main.hs → terminal/src/Main.hsrenamed
The content is the same.
ui/terminal/src/Make.hs → terminal/src/Make.hsrenamed
The content is the same.
ui/terminal/src/Publish.hs → terminal/src/Publish.hsrenamed
The content is the same.
ui/terminal/src/Repl.hs → terminal/src/Repl.hsrenamed
The content is the same.
ui/terminal/src/Terminal/Args.hs → terminal/src/Terminal/Args.hsrenamed
The content is the same.
ui/terminal/src/Terminal/Args/Chomp.hs → terminal/src/Terminal/Args/Chomp.hsrenamed
The content is the same.
ui/terminal/src/Terminal/Args/Error.hs → terminal/src/Terminal/Args/Error.hsrenamed
The content is the same.
ui/terminal/src/Terminal/Args/Helpers.hs → terminal/src/Terminal/Args/Helpers.hsrenamed
The content is the same.
ui/terminal/src/Terminal/Args/Internal.hs → terminal/src/Terminal/Args/Internal.hsrenamed
The content is the same.