remove extra quotes #434

Closed
barak wants to merge 1 commits from tweaks into master
barak commented 2018-03-08 13:30:44 +01:00 (Migrated from github.com)

This patch removes extraneous quotes in the --help usage output.

This patch removes extraneous quotes in the --help usage output.
Swordfish90 commented 2020-05-09 16:39:54 +02:00 (Migrated from github.com)

I guess this is no longer needed with #569

I guess this is no longer needed with #569

Pull request closed

Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: seeseemelk/cool-retro-term#434