#!/bin/sh
(echo '// see prettify.js for copyright, license and expanded version'; python -mrjsmin <prettify.js) >prettify.min.js
# needs python and rjsmin installed
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-04-28]