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 /papers.kdev4 | |
| parent | 3a71b1086add81b137f321575da527b6ab59cabc (diff) | |
chore: cleanup proofs directory and add makefile header.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'papers.kdev4')
| -rw-r--r-- | papers.kdev4 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/papers.kdev4 b/papers.kdev4 new file mode 100644 index 0000000..7ebbc57 --- /dev/null +++ b/papers.kdev4 @@ -0,0 +1,4 @@ +[Project] +CreatedFrom=Makefile +Manager=KDevCustomMakeManager +Name=papers |