New API function for right-side stuff in headers
authorJamie Cameron <jcameron@webmin.com>
Wed, 24 Sep 2008 23:58:48 +0000 (23:58 +0000)
committerJamie Cameron <jcameron@webmin.com>
Wed, 24 Sep 2008 23:58:48 +0000 (23:58 +0000)
commit4c86d02230bf744cbcaef9c8bad4f694f8a57eab
treedf449fe6feaa58f7ad5f0e67e356949bd77a343e
parent6d1790d252ccea209fa170379af3a0c7fd692546
New API function for right-side stuff in headers
blue-theme/theme.pl