package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17

Folder: users_guide

d .. (parent)
d d rwxr-xr-x 24 GPS
- - rw-r--r-- 5,580 Makefile
- - rw-r--r-- 8,125 conf.py
- - rw-r--r-- 24,878 gnatdoc.rst
- - rw-r--r-- 423 index.rst
- - rw-r--r-- 18,343 license.rst
- - rw-r--r-- 5,104 make.bat