]> gitweb.factorcode.org Git - factor.git/commit
basis, extra: remove unfinished changes from #2774
authorrazetime <raghuallthetime@hotmail.com>
Wed, 15 Mar 2023 06:26:03 +0000 (11:56 +0530)
committerrazetime <raghuallthetime@hotmail.com>
Wed, 15 Mar 2023 06:26:03 +0000 (11:56 +0530)
commit81fa5e1a2216341f7e340515048240fe872a5173
tree6755bd6d52840c60417441ba45e125bcf18c7884
parent9e29e0879293ab9c163ff75851045a58749ae31d
basis, extra: remove unfinished changes from #2774
12 files changed:
basis/definitions/icons/vocab-authors-header.png [deleted file]
basis/definitions/icons/vocab-authors-header@2x.png [deleted file]
basis/definitions/icons/vocab-authors.svg [deleted file]
basis/definitions/icons/vocab-tag-header@2x.png [deleted file]
basis/definitions/icons/vocab-tag.svg [deleted file]
basis/definitions/icons/vocab-tags-header.png [deleted file]
extra/7guis/7guis.factor [deleted file]
extra/plplot/ffi/ffi.factor [deleted file]
extra/ui/gadgets/combo-boxes/.combo-boxes.factor.kak.ap8uXs [deleted file]
extra/ui/gadgets/combo-boxes/combo-boxes.factor [deleted file]
extra/ui/gadgets/labels/.labels.factor.kak.L1LKpy [deleted file]
extra/ui/gadgets/labels/labels.factor [deleted file]