rename ide repo
This commit is contained in:
parent
b8dd418de0
commit
88a82e216a
@ -173,13 +173,13 @@
|
|||||||
"lastModified": 1700289697,
|
"lastModified": 1700289697,
|
||||||
"narHash": "sha256-/erb3yK7dVsqnZ8ehcpmHeWTm6f0hdoBcBNtbYQTwpQ=",
|
"narHash": "sha256-/erb3yK7dVsqnZ8ehcpmHeWTm6f0hdoBcBNtbYQTwpQ=",
|
||||||
"owner": "ivandimitrov8080",
|
"owner": "ivandimitrov8080",
|
||||||
"repo": "xin-ide",
|
"repo": "flake-ide",
|
||||||
"rev": "907a557f480e1311e5ee6b38b94a0d2cb0cd3d2f",
|
"rev": "907a557f480e1311e5ee6b38b94a0d2cb0cd3d2f",
|
||||||
"type": "github"
|
"type": "github"
|
||||||
},
|
},
|
||||||
"original": {
|
"original": {
|
||||||
"owner": "ivandimitrov8080",
|
"owner": "ivandimitrov8080",
|
||||||
"repo": "xin-ide",
|
"repo": "flake-ide",
|
||||||
"type": "github"
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
@ -10,7 +10,7 @@
|
|||||||
inputs.nixpkgs.follows = "nixpkgs";
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
};
|
};
|
||||||
ide = {
|
ide = {
|
||||||
url = "github:ivandimitrov8080/xin-ide";
|
url = "github:ivandimitrov8080/flake-ide";
|
||||||
inputs.nixpkgs.follows = "nixpkgs";
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
Loading…
Reference in New Issue
Block a user