[docs] Remove redundant filename.
authorJon Purdy <evincarofautumn@gmail.com>
Mon, 13 Feb 2017 23:42:55 +0000 (15:42 -0800)
committerJon Purdy <evincarofautumn@gmail.com>
Fri, 24 Mar 2017 20:43:07 +0000 (13:43 -0700)
mono/dis/util.c

index 852dcdee4827e952ba798bb6048976f4cce34b7c..80b6ad44458909157f645beedfa90e017d94ce76 100755 (executable)
@@ -1,5 +1,5 @@
 /**
- * \file util.c
+ * \file
  * Assorted utilities for the disassembler
  *
  * Author: