Chrome Extensions All Chrome Extension Publishers michristofides(Chrome Extension Publisher)

michristofides(Chrome Extension Publisher)

Publisher michristofides has published 1 extension, based on 1 users' rates, michristofides's average rating is 5.00, which is ranked #40696 overall extension publishers.
More than 44 users has installed their extension, which is rank #44,317 overall extension publishers.

Who is michristofides?

michristofides is a browser extension publisher, most of their extensions are developer tools extension.

Extensions from michristofides

pg_docs_bot

pg_docs_bot

August 22nd, 2022

Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).

5.00
Get extensions

FAQ