diff options
| author | johans <johans@FreeBSD.org> | 2016-05-16 23:38:33 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2016-05-16 23:38:33 +0800 |
| commit | 1d88ad59e4aee625c3edefb460e7681b2813a17c (patch) | |
| tree | c63e7fb2fcee55923e96c476e0a0e71acf0e5986 /lang | |
| parent | 4c23675c1af4d6127b61537cecb0ab3b2cef537a (diff) | |
| download | freebsd-ports-gnome-1d88ad59e4aee625c3edefb460e7681b2813a17c.tar.gz freebsd-ports-gnome-1d88ad59e4aee625c3edefb460e7681b2813a17c.tar.zst freebsd-ports-gnome-1d88ad59e4aee625c3edefb460e7681b2813a17c.zip | |
Restore the original header that unintentionally got lost when moving the port
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/mosml/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/mosml/Makefile b/lang/mosml/Makefile index d7d2327673b3..8c0861d0f082 100644 --- a/lang/mosml/Makefile +++ b/lang/mosml/Makefile @@ -1,3 +1,4 @@ +# Created by: Chuck Robey <chuckr@FreeBSD.org> # $FreeBSD$ PORTNAME= mosml |