Mercurial Hosting > hghosting
view src/private/tools/index.html.luan @ 25:8a588847d730 default tip
update luan
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Tue, 07 Oct 2025 17:35:13 -0600 |
parents | f9a4e674de75 |
children |
line wrap: on
line source
local Luan = require "luan:Luan.luan" local error = Luan.error local Io = require "luan:Io.luan" local Http = require "luan:http/Http.luan" local Shared = require "site:/lib/Shared.luan" local head = Shared.head or error() local header = Shared.private_header or error() return function() Io.stdout = Http.response.text_writer() %> <!doctype html> <html lang="en"> <head> <% head() %> <title>Mercurial Private Tools</title> </head> <body> <% header() %> <div content> <h1>Private Tools</h1> <p><a href="private_users.html">edit private users</a></p> <p><a href="backup.html">edit backup</a></p> <p><a href="all_users.html">all users</a></p> <p><a href="configure_mail.html">configure mail</a></p> <p><a href="links.txt">links.txt</a></p> </div> </body> </html> <% end