mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 09:48:42 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

treewide: fix typos (#1217)

Browse source
This commit is contained in:
Loïc Reynier 2024-03-07 19:44:13 +01:00 • committed by GitHub
parent e9564ac336
commit 233feeb8d2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
50 changed files with 123 additions and 96 deletions
Download patch file Download diff file Expand all files Collapse all files

2
plugins/languages/lean.nix
View file

@ -182,7 +182,7 @@ in {
stderr = {
enable = helpers.defaultNullOpts.mkBool true ''
Redirect Lean's stderr messages somehwere (to a buffer by default).
Redirect Lean's stderr messages somewhere (to a buffer by default).
'';
height = helpers.defaultNullOpts.mkPositiveInt 5 "Height of the window.";