diff options
| author | Rod Kay | 2018-10-01 12:32:34 +1000 |
|---|---|---|
| committer | Rod Kay | 2018-10-01 12:32:34 +1000 |
| commit | ac6bc9df11a5e5f96dad4db5cb1d84c7cab56f94 (patch) | |
| tree | 7adb4b15822545f3c247c32f200590aa101c6a7e /asis.gpr-patch | |
| parent | 4ee6010d0b6f69c8658d97907b1be6922e17fd4c (diff) | |
| download | aur-ac6bc9df11a5e5f96dad4db5cb1d84c7cab56f94.tar.gz | |
Update to 2018 version
Diffstat (limited to 'asis.gpr-patch')
| -rw-r--r-- | asis.gpr-patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/asis.gpr-patch b/asis.gpr-patch deleted file mode 100644 index 8535dd0515d4..000000000000 --- a/asis.gpr-patch +++ /dev/null @@ -1,11 +0,0 @@ ---- asis-gpl-2017-src/asis.gpr -+++ asis-gpl-2017-src-new/asis.gpr -@@ -22,6 +22,7 @@ - ------------------------------------------------------------------------------ - - with "common"; -+with "gnat_util"; - - project Asis is - - |