plugins/deleted: remove old stubs

johnd0e · Nov 12, 2019 · aad5053 · aad5053
1 parent 1aa2295
commit aad5053
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 46 deletions.
diff --git a/plugins/deleted/basemap-nokia-ovi.user.js b/plugins/deleted/basemap-nokia-ovi.user.js
diff --git a/plugins/deleted/canvas-render.user.js b/plugins/deleted/canvas-render.user.js
diff --git a/plugins/deleted/fix-googlemap-china-offset.user.js b/plugins/deleted/fix-googlemap-china-offset.user.js
diff --git a/plugins/deleted/force-https.user.js b/plugins/deleted/force-https.user.js
diff --git a/plugins/deleted/show-more-portals.user.js b/plugins/deleted/show-more-portals.user.js