tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

Makefile.include (153B)

      1 USER_TARGET=libkrmllib.a
      2 USER_CFLAGS=
      3 USER_C_FILES=fstar_uint128.c
      4 ALL_C_FILES=
      5 ALL_H_FILES=FStar_UInt128.h FStar_UInt_8_16_32_64.h LowStar_Endianness.h