remove $user_* values, those will eventually not be needed anymore, as they will...
[apps/madmutt.git] / lib-ui / history.h
2006-11-12 Pierre Habouzitmove history in lib-ui