diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-07 13:21:07 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-07 13:21:07 +0100 |
| commit | 081fe7422c04703f09a97bbdaa84477a34fcb653 (patch) | |
| tree | 79bdac829a9bbbb23d939b02ebe5d4c9cac41803 /.gitignore | |
| parent | d06c7e43aa03d1da95ec8083b889960750e1790b (diff) | |
chore: update gitignore.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3,6 +3,9 @@ syntax: glob html/ latex/ +*.cmi +*.cmo + nebuild build/ |