Merge pull request #134 from fkautz/pr_out_renaming_documents

Browse source

Renaming documents

...

This commit is contained in:

Harshavardhana 2014-12-17 14:49:39 -08:00

parent 07cbb56221 338a8bcb4d

commit 0a11b07f0c

2 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

0

docs/internal/DESIGN → docs/internal/design.md

Unescape Escape View file

0

docs/internal/INFRA → docs/internal/infra.md

Unescape Escape View file