From 77001293a64932949049e439efecd792aa3b2d12 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Tue, 2 Apr 2019 12:45:58 +0100
Subject: .gitignore with copyright using better search for copyright notice

In the previous commit, a copyright notice was added after a systematic
search of the version controlled files. However, we missed `.gitignore'
(because we were discarding those with the `*.git*' pattern to avoid files
in the `.git' directory). This has been fixed by using this command (in the
top project directory) instead:

    for f in $(find ./ -type f); do \
      if [[ $f != ./.git/* ]]; then \
        n=$(grep -i copyright $f | wc -l); \
        echo "$n $f"; \
      fi; \
    done | awk '$1==0'
---
 .file-metadata | Bin 4005 -> 4005 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to '.file-metadata')

diff --git a/.file-metadata b/.file-metadata
index 062e1f1..9dd95e7 100644
Binary files a/.file-metadata and b/.file-metadata differ
-- 
cgit v1.2.1