From 83a71a3186655488036f084b6552367874d93d69 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Thu, 21 Mar 2002 20:56:01 +0000
Subject: *** empty log message ***

---
 phox/phox-font.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'phox')

diff --git a/phox/phox-font.el b/phox/phox-font.el
index da677764..c3f5c9a3 100644
--- a/phox/phox-font.el
+++ b/phox/phox-font.el
@@ -69,6 +69,7 @@
     ("/\\\\" 0 1 34)
     ("\\<or\\>" 0 3 218) 
     ("\\<in\\>" 0 3 206) 
+    ("\\<notin\\>" 0 3 207) 
     ("\\<inter\\>" 0 3 199) 
     ("\\<union\\>" 0 3 200) 
     ("\\<minus\\>" 0 3 45) 
-- 
cgit v1.2.3