PR#41: Misc. cleanups -

background-logo-extension

#41 Misc. cleanups

Merged Aug 6, 2023 by fmuellner. Opened Aug 6, 2023 by fmuellner.

fmuellner/background-logo-extension misc-cleanups into master

build: Simplify shell version handling

Florian Müllner • Aug 6, 2023

ef133a93b0c8fd5c6e99102f2187bccc3d523db4

build: Replace custom post-install script

Florian Müllner • Aug 6, 2023

1c86f0c329c362f18d4d3530bbc5c6bb72c41b93

cleanup: Remove old compatibility code

Florian Müllner • Aug 6, 2023

d47661f3e5e39a6ec14f716b135289e77f5e1b16

cleanup: Adapt to gnome-shell style change

Florian Müllner • Aug 6, 2023

8c2e2cbe62957b776c23d685242949b23e6f04f1

cleanup: Remove unnecessary parentheses

Florian Müllner • Mar 19, 2023

1a30313ea2eb19793a5fd1ef5fe4223c44150e90

cleanup: Remove unnecessary constructor

Florian Müllner • Mar 19, 2023

8d02cb48b205ca5b588928d2f5eb8ba0ee4d7b55

Download 41.patch

fmuellner commented Aug 6, 2023

Some cleanups to prepare for the ESM port.

Metadata

Assignee

None

Tags

No Tags

Changes Summary 5

lint/eslintrc-shell.yml

file removed

background-logo-extension

#41 Misc. cleanups Merged Aug 6, 2023 by fmuellner. Opened Aug 6, 2023 by fmuellner. fmuellner/background-logo-extension misc-cleanups into master

Metadata

Changes Summary 5

#41 Misc. cleanups

Merged Aug 6, 2023 by fmuellner. Opened Aug 6, 2023 by fmuellner.

fmuellner/background-logo-extension misc-cleanups into master