Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Add ability to set up git user name and email in theia preferences #424

Merged
merged 1 commit into from
Sep 13, 2019

Add ability to set up git user name and email in theia preferences

b14db9f
Select commit
Loading
Failed to load commit list.
Merged

Add ability to set up git user name and email in theia preferences #424

Add ability to set up git user name and email in theia preferences
b14db9f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs