diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-09 15:51:37 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-09 15:51:59 +0100 |
| commit | 9ef2a5538ad04867b4b41216dbba835024387100 (patch) | |
| tree | edc03bc42831a3f192401fb0fefd0a0ad51e1343 /.kdev4 | |
| parent | 3a71b1086add81b137f321575da527b6ab59cabc (diff) | |
chore: cleanup proofs directory and add makefile header.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to '.kdev4')
| -rw-r--r-- | .kdev4/papers.kdev4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.kdev4/papers.kdev4 b/.kdev4/papers.kdev4 new file mode 100644 index 0000000..2ffd5cd --- /dev/null +++ b/.kdev4/papers.kdev4 @@ -0,0 +1,2 @@ +[Project] +VersionControlSupport=kdevgit |