diff options
author | rebortg <github@ghlr.de> | 2020-11-26 21:52:17 +0100 |
---|---|---|
committer | rebortg <github@ghlr.de> | 2020-11-26 21:52:17 +0100 |
commit | ab14c6a43a4fa56e35f6fd8b48bc267611b02f01 (patch) | |
tree | 44d317271f614ed8b8c5bc538193189559f239ea /ci/vale/Google/DateFormat.yml | |
parent | 27022c6a9c7c4ec57eb79cc17475b4d7d03a22cc (diff) | |
download | vyos-documentation-ab14c6a43a4fa56e35f6fd8b48bc267611b02f01.tar.gz vyos-documentation-ab14c6a43a4fa56e35f6fd8b48bc267611b02f01.zip |
move vale stuff to .github
Diffstat (limited to 'ci/vale/Google/DateFormat.yml')
-rw-r--r-- | ci/vale/Google/DateFormat.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/ci/vale/Google/DateFormat.yml b/ci/vale/Google/DateFormat.yml deleted file mode 100644 index e9d227fa..00000000 --- a/ci/vale/Google/DateFormat.yml +++ /dev/null @@ -1,9 +0,0 @@ -extends: existence -message: "Use 'July 31, 2016' format, not '%s'." -link: 'https://developers.google.com/style/dates-times' -ignorecase: true -level: error -nonword: true -tokens: - - '\d{1,2}(?:\.|/)\d{1,2}(?:\.|/)\d{4}' - - '\d{1,2} (?:Jan(?:uary)?|Feb(?:ruary)?|Mar(?:ch)?|Apr(?:il)|May|Jun(?:e)|Jul(?:y)|Aug(?:ust)|Sep(?:tember)?|Oct(?:ober)|Nov(?:ember)?|Dec(?:ember)?) \d{4}' |