| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Postgres/src/tools/ (Postgres Database Version 18.4©) Datei vom 11.4.2026 mit Größe 230 B |
|
Quelle codelines Sprache: Isabelle |
|||||||||
|
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] #!/bin/sh
# src/tools/codelines # This script is used to compute the total number of "C" lines in the release # This should be run from the top of the Git tree after a 'make distclean' find . -name '*.[chyl]' | xargs cat| wc -l ¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-09-28) ¤*© Formatika GbR, Deutschland |
|
2026-10-10