登录
secc/seL4-projects_libs
同步镜像关注点赞复刻(Fork)
  • 主页
  • 代码库
  • 疑修(Issue)
  • 流水线(devops)
  • 里程碑
  • 维基(Wiki)
  • 动态
目录
master
分支19
标签1
+ 疑修
Web IDE
Gerwin Klein

trivial: remove obsolete license files

These are superseded by the corresponding files in LICENSES and the SPDX tags.

Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

4个月前340次提交
  • .githubgithub: use central CI workflows9个月前
  • .reuseSPDX license headers4年前
  • LICENSESSPDX license headers4年前
  • libfdtgenBump minimum CMake version4个月前
  • libjanssonBump minimum CMake version4个月前
  • libmsgpackBump minimum CMake version4个月前
  • libnfstrivial: update style to new cmake-format4个月前
  • libplatsupportportstrivial: remove obsolete license files4个月前
  • libringbuffertrivial: remove obsolete license files4个月前
  • libsdhcdriverstrivial: remove obsolete license files4个月前
  • libtx2bpmptrivial: remove obsolete license files4个月前
  • libusbdriverstrivial: remove obsolete license files4个月前
  • libvirtqueuetrivial: update style to new cmake-format4个月前
  • libvswitchBump minimum CMake version4个月前
  • .licenseignoreSPDX license headers4年前
  • .stylefilterSPDX license headers4年前
  • CMakeLists.txtBump minimum CMake version4个月前
  • Findprojects_libs.cmaketrivial: update style to new cmake-format4个月前
  • LICENSE.mdseL4 foundation setup4年前
  • README.mdSPDX license headers4年前
目录README.md

projects_libs

Platform independent libraries

关于
c++cshell
README.md
1.8 MB
邀请码