Merge pull request #4980 from ethereum/gitnamechange

git name change
pull/5370/head
bunsenstraat 5 months ago committed by GitHub
commit 99638eb529
  1. 1
      apps/remix-ide/src/app/plugins/git.tsx

@ -6,6 +6,7 @@ import * as packageJson from '../../../../../package.json'
const profile = {
name: 'dgit',
displayName: 'Git',
desciption: 'Git plugin for Remix',
methods: ['pull', 'track', 'diff', 'clone', 'open'],
events: [''],

Loading…
Cancel
Save