start
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende Überarbeitung | Nächste ÜberarbeitungBeide Seiten der Revision | ||
start [2018/05/18 22:48] – [Tools menu] roehner | start [2018/09/17 14:38] – [Tools menu] roehner | ||
---|---|---|---|
Zeile 103: | Zeile 103: | ||
given coding standard and the //Jalopy// plug-in which formats a source file according to a coding | given coding standard and the //Jalopy// plug-in which formats a source file according to a coding | ||
standard. The compare tool compares two sources files, shows new, modified and deleted lines and | standard. The compare tool compares two sources files, shows new, modified and deleted lines and | ||
- | allows to edit the modifications. If you install [[en: | + | allows to edit the modifications. If you install [[en: |
{{: | {{: |
start.txt · Zuletzt geändert: 2023/03/21 20:28 von roehner