webmcp
diff framework/env/ui/paginate.lua @ 156:88b613f5bc22
Restored accidentally modified Makefile.options file
| author | jbe | 
|---|---|
| date | Thu Jul 31 03:19:09 2014 +0200 (2014-07-31) | 
| parents | 774a891dc74f | 
| children | 32ec28229bb5 | 
   line diff
| author | jbe | 
|---|---|
| date | Thu Jul 31 03:19:09 2014 +0200 (2014-07-31) | 
| parents | 774a891dc74f | 
| children | 32ec28229bb5 |