diff options
| author | John Benediktsson <mrjbq7@gmail.com> | 2018-01-22 14:18:22 -0800 |
|---|---|---|
| committer | John Benediktsson <mrjbq7@gmail.com> | 2018-01-22 14:18:22 -0800 |
| commit | 7ffb672e1d2baa964137dbe8efe95eda7e92a39b (patch) | |
| tree | 63c971327110c7efe10efc95e797ade35d8d7c44 | |
| parent | eecfdd355393d044c7f5a9ad29a0e9a3aa064352 (diff) | |
tabs: moved to ui.gadgets.tabs to match IN: declarations.
| -rw-r--r-- | ui/gadgets/tabs/authors.txt (renamed from tabs/authors.txt) | 0 | ||||
| -rw-r--r-- | ui/gadgets/tabs/summary.txt (renamed from tabs/summary.txt) | 0 | ||||
| -rw-r--r-- | ui/gadgets/tabs/tabs.factor (renamed from tabs/tabs.factor) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/tabs/authors.txt b/ui/gadgets/tabs/authors.txt index 9366723..9366723 100644 --- a/tabs/authors.txt +++ b/ui/gadgets/tabs/authors.txt diff --git a/tabs/summary.txt b/ui/gadgets/tabs/summary.txt index a55610b..a55610b 100644 --- a/tabs/summary.txt +++ b/ui/gadgets/tabs/summary.txt diff --git a/tabs/tabs.factor b/ui/gadgets/tabs/tabs.factor index d05890c..d05890c 100644 --- a/tabs/tabs.factor +++ b/ui/gadgets/tabs/tabs.factor |