Inicio Explorar Ayuda
Iniciar sesión
kindring
/
libpeer
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: master
Ramas Etiquetas
libpeer
/
third_party
/
coreMQTT
/
test
/
cbmc
/
proofs
/
Makefile-template-defines

Makefile-template-defines 44 B
Permalink Histórico Raw

1 
  1. SRCDIR ?= $(abspath $(PROOF_ROOT)/../../..)
    2.