diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/plain_sources/handling_ptxdist_revisions.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/documentation/plain_sources/handling_ptxdist_revisions.tex b/documentation/plain_sources/handling_ptxdist_revisions.tex index adb6218..e9cf135 100644 --- a/documentation/plain_sources/handling_ptxdist_revisions.tex +++ b/documentation/plain_sources/handling_ptxdist_revisions.tex @@ -46,7 +46,6 @@ total 44 drwxr-xr-x 3 jb user 160 Oct 4 18:11 configs/ drwxr-xr-x 3 jb user 80 Jun 12 11:34 documentation/ drwxr-xr-x 4 jb user 128 Oct 4 18:11 local_src/ -drwxr-xr-x 2 jb user 72 Oct 4 18:12 platform/ drwxr-xr-x 2 jb user 72 Oct 4 18:12 platform-mini2440/ drwxr-xr-x 3 jb user 72 Oct 4 18:11 projectroot/ drwxr-xr-x 2 jb user 120 Oct 4 18:11 protocol/ |