diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:43:16 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:46:52 +0100 |
| commit | 8ee220a5d984f83d5ee9d9eed224ab0551bc7cc3 (patch) | |
| tree | b6ea2c07598f1253832a1e00fb61b7f5fe5fa29d /source/wg01 | |
| parent | 9a5839719867e779eefc3cf11654bc1032232fd3 (diff) | |
feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source/wg01')
| -rw-r--r-- | source/wg01/paper.tex (renamed from source/wg01/wg01.tex) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/paper.tex index 931e80b..931e80b 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/paper.tex |