diff options
| -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 |