Merge pull request #1197 from sosy-lab/reuse-compatibility

dbeyer · web-flow · commit c3c471bb6e23 · 2020-10-29T13:05:36.000+01:00
Add uthash to list of directories without license headers
diff --git a/.reuse/dep5 b/.reuse/dep5
@@ -140,6 +140,7 @@ Files:
  c/termination-recursive-malloc
  c/termination-restricted-15
  c/termination-restricted-15-todo
+ c/uthash-2.0.2
  c/verifythis
  c/xcsp
  java/MinePump
