diff options
Diffstat (limited to 'more/blanket-permission.txt')
| -rw-r--r-- | more/blanket-permission.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/more/blanket-permission.txt b/more/blanket-permission.txt index 38a59f15ce..aa3ff773c5 100644 --- a/more/blanket-permission.txt +++ b/more/blanket-permission.txt @@ -62,3 +62,4 @@ Lars Gullik Bjønnes (larsbj -at- lyx.org) (See Boost list message of Tue, 17 Aug Nikolay Mladenov (nickm -at- sitius.com) (See Boost list message of Tue, 17 Aug 2004 15:45:33 +0100) Itay Maman (imaman -at- users.sourceforge.net) Hubert Holin (hubert_holin -at- users.sourceforge.net) +Maarten Keijzer (mkeijzer -at- cs.vu.nl) (See Boost list message of Wed, 18 Aug 2004 21:43:18 +0100) |