From d2f51524a231765aefad3d0bc3fea6c0bf3d570a Mon Sep 17 00:00:00 2001 From: Alex Valavanis Date: Thu, 11 Apr 2013 10:58:39 +0100 Subject: Fix some broken Vim modelines (bzr r12275) --- src/proofs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proofs') diff --git a/src/proofs b/src/proofs index a3a22733f..05f27daea 100644 --- a/src/proofs +++ b/src/proofs @@ -329,4 +329,4 @@ style.cpp caller: preceded by explicit test for NULL: # mode:indented-text # fill-column:99 # End: -# vim: filetype=text:tabstop=8:encoding=utf-8:textwidth=99 : +# vim: filetype=text:tabstop=8:fileencoding=utf-8:textwidth=99 : -- cgit v1.2.3