src/Tools/jEdit/lib/Tools/jedit
changeset 58545 30b75b7958d6
parent 58529 cd4439d8799c
child 58546 72e2b2a609c4
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sun Oct 05 16:05:17 2014 +0200
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Oct 05 17:58:36 2014 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  
     1.5  declare -a SOURCES=(
     1.6    "src/active.scala"
     1.7 +  "src/bibtex_jedit.scala"
     1.8    "src/bibtex_token_markup.scala"
     1.9    "src/completion_popup.scala"
    1.10    "src/context_menu.scala"