Este sítio Web requer JavaScript.
Painel de controlo
Explorar
Ajuda
Iniciar sessão
afp-mirror
/
Core_DOM
Vigiar
1
Juntar aos favoritos
0
Derivar
Você já tinha feito uma derivação do repositório Core_DOM, anteriormente
1
Código
Questões
Pedidos de integração
Lançamentos
Wiki
Trabalho
Comparar comentimentos
integrar em: afp-mirror:master
Ramos
Etiquetas
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Core_DOM-current-Isabelle2020
afp-mirror:afp-Core_DOM-current-Isabelle2019
afp-mirror:afp-Core_DOM-current-Isabelle2018
...
puxar de: afp-mirror:master
Ramos
Etiquetas
afp-mirror:master
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Core_DOM-current-Isabelle2020
afp-mirror:afp-Core_DOM-current-Isabelle2019
afp-mirror:afp-Core_DOM-current-Isabelle2018
Estes ramos são iguais. Não há necessidade de criar um pedido de integração.