diff options
Diffstat (limited to 'plugins/shell.mk')
-rw-r--r-- | plugins/shell.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/shell.mk b/plugins/shell.mk index 8b4aa84..e771cbf 100644 --- a/plugins/shell.mk +++ b/plugins/shell.mk @@ -1,5 +1,5 @@ +# Copyright (c) 2015-2016, Loïc Hoguin <[email protected]> # Copyright (c) 2014, M Robert Martin <[email protected]> -# Copyright (c) 2015, Loïc Hoguin <[email protected]> # This file is contributed to erlang.mk and subject to the terms of the ISC License. .PHONY: shell |