diff options
| author | Bobby Rong <rjl931189261@126.com> | 2024-02-09 12:10:08 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-09 12:10:08 +0800 |
| commit | 442d407992384ed9c0e6d352de75b69079904e4e (patch) | |
| tree | 048bb3f425104a06e94e4f9575f6f0b703bc942b /pkgs/applications/science/logic/lean | |
| parent | 63373eba60150876ef069bc1122e32f546fa3233 (diff) | |
| parent | 34f5ed22b26911a95c3a1071dff3be53bc1ca243 (diff) | |
Merge pull request #287336 from samuela/upkeep-bot/vscode-1.86.1-1707438101
vscode: 1.86.0 -> 1.86.1
Diffstat (limited to 'pkgs/applications/science/logic/lean')
0 files changed, 0 insertions, 0 deletions