diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-11-23 17:33:26 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-11-23 18:52:41 +0100 |
| commit | e216e0e2917afb6516c0499f8880d68cf71b7c40 (patch) | |
| tree | 14849196b7f189a7320005a477e11d5755f5a785 /manual/.gitignore | |
| parent | 5f9c7fc6eadd7bc70e13df4131c059ec9ae18103 (diff) | |
AppNote 010 progress
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index 15063c48..7412c4d4 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -6,3 +6,4 @@ *.out *.pdf *.toc +*.ok |