<p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
-<p><a href="{SCRIPT}?command=show&file={DIR}">Back to {DIR}</a></p>
+<p><a href="{SCRIPT}?command=show&file={DIR}">Back to {DIR}</a></p>
<p>Someone else is currently editing this file. At least, the file is marked so. Maybe, someone who was editing the file has forgotten to unlock it. In this case (and <b>only</b> in this case) you can unlock the file using this button:</p>
<p><input type="submit" value="Unlock file '{FILE}'"></p>
</form>
+
+<hr>
+
+<p align="right"><a href="{SCRIPT}?command=about" target="_blank"><i>About Dev-Editor</i></a></p>
</body>
</html>
\ No newline at end of file