diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2018-03-05 13:29:08 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2018-03-05 13:29:34 +0100 |
| commit | f33401dbca698b90b3e567f8fbb7a6a1a12b6173 (patch) | |
| tree | 12eeba48b0dea4e6cead2b72006a96fb7cb3d2ed /pcr/cinclude2dot | |
| parent | 7ecfe3c9184e9abc3a2d9118190af415f95f8b50 (diff) | |
pcr/papis: added, plus dependencies
Diffstat (limited to 'pcr/cinclude2dot')
| -rw-r--r-- | pcr/cinclude2dot/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pcr/cinclude2dot/.gitignore b/pcr/cinclude2dot/.gitignore deleted file mode 100644 index f326e85cb..000000000 --- a/pcr/cinclude2dot/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -cinclude2dot -cinclude2dot.1 |