the basics for client-side filtering + a few tweaks
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 12 Jan 2009 10:46:45 +0000 (10:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 12 Jan 2009 10:46:45 +0000 (10:46 +0000)
commit945cd4f1c71dccb891b2da9465bc36b2adc37205
tree8ab4d19b38494594ffb1e3cca0a41e0b49459fed
parente1e9f2340b79b39fd6a76db0dad53bc0041a654e
the basics for client-side filtering + a few tweaks
planetlab/css/demo.css
planetlab/css/plc_paginate.css
planetlab/css/plc_table.css
planetlab/js/plc_filter.js [new file with mode: 0644]
planetlab/js/plc_functions.js
planetlab/js/plc_paginate.js
planetlab/nodes/newindex.php