History of the file that is called default.nix at check-in d8437c8f7c146b1c

2024-04-11
12:26
disable pdf generation for now as it is buggy file: [e6110a00bc] check-in: [695e7769fc] user: jboy, branch: revise-for-2024, size: 209 [annotate] [blame] [check-ins using] [diff]
2023-04-14
10:18
enable PDF generation file: [0c2df29181] check-in: [8932f74054] user: jboy, branch: revise-for-2023, size: 220 [annotate] [blame] [check-ins using] [diff]
2022-04-22
09:16
Renamed default.nix → shell.nix. rename default.nix to shell.nix file: [d47e05571e] check-in: [c5cbf4bc54] user: jboy, branch: trunk, size: 187 [annotate] [blame] [check-ins using] [diff]
2021-01-28
16:17
Added: initial check-in file: [d47e05571e] check-in: [403a2346ff] user: jboy, branch: trunk, size: 187 [annotate] [blame] [check-ins using]