History for shell.nix

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]