diff options
author | Martin Berger <martinberger@users.noreply.github.com> | 2022-02-03 10:17:22 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-03 10:17:22 +0000 |
commit | 1e3906f0eee16666fec67e7f221e0e2e82747052 (patch) | |
tree | d92399f840172e44caa70ca1a79ea4b2278427ca /CODE_STYLE.md | |
parent | 5491f014f8767f0cda40cbdc2c0052f6d4c0bf1b (diff) | |
download | sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.zip sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.tar.gz sail-riscv-1e3906f0eee16666fec67e7f221e0e2e82747052.tar.bz2 |
Added notes about copyright headers in code, and a reminder that (#146)
pull-requests ideally come with an explanation how the correctness of
the PR was established.
Diffstat (limited to 'CODE_STYLE.md')
-rw-r--r-- | CODE_STYLE.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CODE_STYLE.md b/CODE_STYLE.md index 37ee977..48df5ad 100644 --- a/CODE_STYLE.md +++ b/CODE_STYLE.md @@ -48,6 +48,8 @@ Formatting * When modifying existing code that does not conform to this style, prefer matching the existing style +* Files should have suitable copyright headers. + Implementation -------------- |