summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-02-13 23:33:58 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-02-13 23:33:58 +0100
commit2fa37c00197b42c3c6f1bc2f26d50a661ae97927 (patch)
tree19fb3a9fda95b17b07c5d818a89badb29bd02c82
parent4ea1d3379adc4d026a71965dbc21434a08063865 (diff)
feat: improve OCaml scripts. (papers/tools), rename drafts to articles (papers/fs).
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
m---------papers0
1 files changed, 0 insertions, 0 deletions
diff --git a/papers b/papers
-Subproject 1f075066018299c623c819e7edd9e250f178d97
+Subproject 2778b1bb5d2ba85dca4ee52a54ba9766f69e30c