History of the file that is called shell.nix at checkin 8932f7405436c22f
|
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] | |