diff options
| author | Silvino Silva <silvino@bk.ru> | 2020-01-19 00:59:14 +0000 |
|---|---|---|
| committer | Silvino Silva <silvino@bk.ru> | 2020-01-19 00:59:14 +0000 |
| commit | ac7c572733282e49801b16531d841682e3ab1b5a (patch) | |
| tree | ea66ae0b75117bd8d18b2562af37206eca74a084 /core/conf/ports/opt.git | |
| parent | 2832c44d3142f68bb43d3901bf11d21c52cca18b (diff) | |
| download | doc-ac7c572733282e49801b16531d841682e3ab1b5a.tar.gz | |
documentation date and domain update
Diffstat (limited to 'core/conf/ports/opt.git')
| -rw-r--r-- | core/conf/ports/opt.git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/conf/ports/opt.git b/core/conf/ports/opt.git index 2a7d4a8..a91903f 100644 --- a/core/conf/ports/opt.git +++ b/core/conf/ports/opt.git @@ -1,7 +1,7 @@ # Collection core # NAME=opt -URL=git://hive.gnu.systems/opt.git +URL=git://tribu.semdestino.org/opt.git BRANCH=stable-3.5 destination=/usr/ports/opt PORTS_DIR="/usr/ports" |