diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2012-03-21 20:38:21 +0100 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2012-03-21 20:38:21 +0100 |
commit | 5d1026a49049bf527c529623d3b96758d7a8c367 (patch) | |
tree | 3d16928dc7b9cce9dbf80de5ccb3f727bec07256 /hurd/translator | |
parent | 3397ca5bcdc370166c464cdd09c94e5d1a20bf42 (diff) |
sidebar: Make MIG bold, too.
Diffstat (limited to 'hurd/translator')
0 files changed, 0 insertions, 0 deletions