mirror of
https://codeberg.org/leana8959/.files.git
synced 2025-12-06 06:39:14 +00:00
Léana 江
ebf8468807
Another saturday another useless formatter change. It's my dotfiles, after all alejandra doesn't handle c-style inline comments well.
7 lines
137 B
Nix
7 lines
137 B
Nix
let
|
|
sources = import ../../npins;
|
|
in
|
|
_: _: {
|
|
# Isabelle version 2023
|
|
isabelle-2023 = (import sources.pin-isabelle { }).isabelle;
|
|
}
|