mirror of
https://github.com/dart-lang/sdk
synced 2024-10-04 19:49:47 +00:00
Remove mixin DEP annotation from header
BUG= Review URL: https://codereview.chromium.org//1202733006.
This commit is contained in:
parent
2c7234bd61
commit
4fb7507c3e
|
@ -6,7 +6,7 @@
|
|||
\usepackage{hyperref}
|
||||
\usepackage{lmodern}
|
||||
\newcommand{\code}[1]{{\sf #1}}
|
||||
\title{Dart Programming Language Specification (Mixin DEP)\\
|
||||
\title{Dart Programming Language Specification\\
|
||||
{\large Version 1.10}}
|
||||
|
||||
% For information about Location Markers (and in particular the
|
||||
|
|
Loading…
Reference in a new issue