search

f4pga / prjuray

Documenting the Xilinx Ultrascale, Ultrascale+ and UltraScale MPSoC series bit-stream format.
https://prjuray.rtfd.io
Apache License 2.0
71 stars 14 forks source link

Fixing GitHub language detection. #7

Closed mithro closed 4 years ago

mithro commented 4 years ago

We don't use any Coq in this repository.

Signed-off-by: Tim 'mithro' Ansell me@mith.ro