-
Notifications
You must be signed in to change notification settings - Fork 19
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
All the requisite files are now in the ui folder. Move strip_redundant_text.pl across in case it is needed. Updates issue #413.
- Loading branch information
1 parent
c08514a
commit 9683bef
Showing
8 changed files
with
0 additions
and
11,550 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Binary file not shown.
This file was deleted.
Oops, something went wrong.
Binary file not shown.
File renamed without changes.