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] | |