| Date | Description |
|---|
| 2022-11-06 |
delete address 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-11-06 |
delete address 20. Building This Manual
21. Foreign Function Interface |
| 2022-11-06 |
insert address 19. Building Lean
❱
19.1. Ubuntu Setup |
| 2022-11-06 |
insert address 24. Building This Manual
25. Foreign Function Interface |
| 2022-11-06 |
update primary_contact 15. Building Lean
❱
15.1. Ubuntu Setup => 19. Building Lean
❱
19.1. Ubuntu Setup |
| 2022-05-01 |
delete address 16. Building Lean
16.1. Ubuntu Setup |
| 2022-05-01 |
delete address 19. Building This Manual
20. Fixing Tests
21. Debugging |
| 2022-05-01 |
insert address 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-05-01 |
insert address 20. Building This Manual
21. Foreign Function Interface |
| 2022-05-01 |
update primary_contact 16. Building Lean
16.1. Ubuntu Setup => 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-04-01 |
delete address 20. Building Lean
20.1. Ubuntu Setup |
| 2022-04-01 |
delete address 23. Building This Manual
24. Fixing Tests |
| 2022-04-01 |
insert address 16. Building Lean
16.1. Ubuntu Setup |
| 2022-04-01 |
insert address 19. Building This Manual
20. Fixing Tests
21. Debugging |
| 2022-04-01 |
update primary_contact 20. Building Lean
20.1. Ubuntu Setup => 16. Building Lean
16.1. Ubuntu Setup |
| 2022-02-13 |
insert address 20. Building Lean
20.1. Ubuntu Setup |
| 2022-02-13 |
insert address 23. Building This Manual
24. Fixing Tests |
| 2022-02-13 |
update primary_contact null => 20. Building Lean
20.1. Ubuntu Setup |