diff options
author | Timotej S <6674623+underhood@users.noreply.github.com> | 2023-02-09 10:18:56 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-09 10:18:56 +0700 |
commit | 2ec714523a071f0b72cf91ce1fe8e412bf97509a (patch) | |
tree | fa4b589f9c78f62f8659d2c5cb6e92341c4a4db7 /.gitattributes | |
parent | d8d467d87fe362b297560959ec57aee55f19b118 (diff) |
generates dual ksy for njfv2 + fix for padding after page blocks (#14383)
* add ability to generate different ksys
* fix dist
* fix page_block by metric count instead of till EOF
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 45ec5156ac..e594b59f86 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,2 +1,3 @@ *.c diff=cpp *.h diff=cpp +*.ksy.in linguist-language=ksy |