Начало Каталог Помощ
Вход
kindring
/
libpeer
1
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
ИН на ревизия: 67da75dea5
Клонове Маркери
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
proofs
/
Makefile-template-defines

Makefile-template-defines 44 B
История Директен файл

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