From e908f46ed0768efd36fc194d15dd6cad0e95508c Mon Sep 17 00:00:00 2001 From: rubenwardy Date: Sat, 19 Mar 2016 14:33:38 +0000 Subject: [PATCH] lua_api.html: Add date of generation to top of page --- lua_api.html | 3 +++ update_lua_api.py | 15 +++++++++++---- 2 files changed, 14 insertions(+), 4 deletions(-) diff --git a/lua_api.html b/lua_api.html index f8ac3ae..b234653 100644 --- a/lua_api.html +++ b/lua_api.html @@ -2,6 +2,9 @@ title: Lua Modding API Reference layout: default --- +
+

This is lua_api.txt nicely formated: I did not write this

+This page was last updated 19/March/2016.
See doc/lua_api.txt for the latest version (in plaintext).
Generated using a Python script.

Table of Contents