Merge remote-tracking branch 'origin/master'

1 files changed, 20 insertions, 0 deletions

diff --git a/src/F2Md/Config.hs b/src/F2Md/Config.hs
index 46a9a75..33380fa 100644
--- a/src/F2Md/Config.hs
+++ b/src/F2Md/Config.hs
@@ -1,3 +1,23 @@
+{-
+Copyright (C) 2022 Yuchen Pei.
+
+This file is part of f2md.
+
+f2md is free software: you can redistribute it and/or modify it under
+the terms of the GNU Affero General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+f2md is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General
+Public License for more details.
+
+You should have received a copy of the GNU Affero General Public
+License along with f2md.  If not, see <https://www.gnu.org/licenses/>.
+
+-}
+
 {-# LANGUAGE DeriveGeneric #-}
 
 module F2Md.Config