diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..b8e0fed --- /dev/null +++ b/.editorconfig @@ -0,0 +1,16 @@ +root = true + +[*] +insert_final_newline = true +trim_trailing_whitespace = true + +[Makefile*] +indent_style = tab + +[*.{c,h}] +indent_style = tab +indent_size = 8 + +[*.yml] +indent_style = space +indent_size = 2 diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..33dec19 --- /dev/null +++ b/.gitignore @@ -0,0 +1,14 @@ +*.o +*.obj + +*.a +*.lib + +*.so +*.so.* +*.dll + +*.exe + +/build/ +/doc/ diff --git a/bin/empty.dir b/bin/empty.dir deleted file mode 100644 index 7006228..0000000 --- a/bin/empty.dir +++ /dev/null @@ -1 +0,0 @@ ---- empty dir --- \ No newline at end of file diff --git a/lib/empty.dir b/lib/empty.dir deleted file mode 100644 index 7006228..0000000 --- a/lib/empty.dir +++ /dev/null @@ -1 +0,0 @@ ---- empty dir --- \ No newline at end of file