Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Updated copyright information.

This commit is contained in:
Achim D. Brucker 2019-07-21 09:58:41 +01:00
parent 0c158450b6
commit df3e3bd3c3
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Tools/DOF_mkroot
View File

@ -1,6 +1,7 @@
#/usr/bin/env bash
# Copyright (c) 2018-2019 The University of Sheffield. All rights reserved.
# 2018 The University of Paris-Sud. All rights reserved.
# Copyright (c) 2019 University of Exeter
# 2018-2019 University of Paris-Sud
# 2018-2019 The University of Sheffield
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions